Mardi 7 octobre
CV.com vous propose aujourd’hui : 10884 offres d’emploi / 219 321 CV / 42 884 Recruteurs
ESPACE RECRUTEURS

 
CONNECTEZ VOUS !
Recherchez une offre d'emploi :
Recherche avancée   Aide à la recherche
 
Votre identifiant : 
Mot de passe : 
Créer un compte
Mot de passe oublié

OUVREZ UN COMPTE PRO
IDENTIFIEZ-VOUS
SERVICES & TARIFS

RECHERCHER UNE OFFRE D'EMPLOI avec Google


VISUALISER UN CV
- Date de mise à jour du contenu : 28/01/2006 15:22:33
Acquérir compétences concrètes domaine appli mobile et log embarqué
( STAGE - Temps plein )
  • développeur
  • étude, recherche


  •    
     Secteur(s) d'activité de l'entreprise
  • Aéronautique / Aérospatiale (civil et militaire)
  • Armée
  • Édition / Audiovisuel / Media
  • Entreposage et stockage
  • Exploitation pétrolifère / minière
  • Industrie Automobile / Constructeurs / Équipementiers
  • Industrie électronique
  • Informatique software : conception et réalisation
  • Internet / Commerce électronique
  • Santé : hôpitaux / cliniques et établissements spécialisés
  • Télécommunications
  •    
     Zone géographique(s)
  • FRANCE
  • Gironde


  • Formation
     

    - Université de Bordeaux
    Université de Bordeaux 1

    - De 1997 en juin 2002 Université Bordeaux 1 Doctorat, 3ième cycle
    DEA
    ­ 2006 Stages de formation à l'enseignement supérieur organisés par le CIES Aquitaine Doctorant depuis 2002 . Divers cours transverses dont la première année du DU d' italien et un module d'épistémologie. DEA Informatique ( 2002 ­ bien ­ rang 2) : Vérification, synthèse...Mémoire sur la résolution des jeux de parité. Licence ( 2000 ­ assez bien ­ rang 3) et maîtrise ( 2001 ­ bien ­ rang 2) de mathématiques et

    - Lycée Jaufré-Rudel Deug MIAS
    les assistants de preuves et applications en Isabelle-Isar pour la théorie des groupes. Deug MIAS ( 1999 ­ assez bien) Bac S , Lycée Jaufré-Rudel , Blaye . ( 1997 ­ passable)



    Expérience professionnelle
     

    -
    LaBRI - Université de Bordeaux 1

    - De 2002 en 2005 CDI
    professionnelle Doctorant (bourse MNERT)

    - De 2003 en 2005 CDI
    ) et demi ATER ( 2005-2006 Moniteur Travaux de recherche sur les thèmes suivants : sécurité informatique, vérification, synthèse, jeux, automates, logique, complexité, algorithmique. Thèse inscrite dans le cadre du réseau européen RTN GAMES. Un travail de recherche publié (Pushdown games with unboundedness and regular conditions ­ LNCS 2914 ) et exposé en anglais à la conférence internationale FSTTCS

    - En 2003 CDI
    ( Bombay ). Deux courts exposés donnés en anglais dans le cadre de réunions liées au réseau GAMES .

    - Du 19 déce. 2003 au 30 janv. 2004 [CMI] CDI
    Invité par le laboratoire CMI ( Madras ­ Inde ) collaboration et un exposé donné. Correcteur d'une dizaine d'articles soumis à des conférences.

    - De 2002 en 2004 CDI
    Webmaster de la page du groupe de travail Enseignements : plus de 370 heures de travaux dirigés et pratiques (algorithmique, programmation, architecture, logique) en qualité de vacataire dès 1999 , moniteur de 2003 à

    - En 2005 CDI
    puis comme Attaché Temporaire d'Enseignement et de Recherche en 2006 , à l' IUT A et l' université de Bordeaux .

    - De 1998 en 2002 CDI
    (périodes estivales) Caissier Pompiste [Total à Saugon de 1998 à 2001 ] (caisse, ventes, relations clientèles et étude sur l'optimisation des stratégies gagnantes dans des jeux concurrents pour obtenir le plus gros pourboire). Manutentionnaire [Europartenaires à La Teste de Buch en 2002 ] (déchargement de cartons de boîtes d'ananas thaïlandais et empilement sous forme de pavages tridimensionnels MSO reconnaissables). Cours particuliers

    - CDD
    Objectifs Stages ou CDD. Secteur RetD, domaine sécurité de l'information, cryptologie, vérification, développement web, réalisation d'applications mobiles, logiciels embarqués ou toute autre thématique pouvant m'intéresser. Mobile géographiquement, préférence : PACA , Toulouse , Aquitaine , Bretagne , Suisse , Italie , Londres . Intention de faire une dernière année d'un master à Sophia-Antipolis orienté mobile et embarqué.



    Langues
      - italien
    - français ( MATERNELLE )
    - anglais ( NOTIONS )


    Connaissances informatiques
      - PHP
    - MYSQL
    - JAVA
    - LANGAGE B
    - COQ...)
    - MÉMOIRE SUR


    Compétences
     


    Loisirs
      - MUSIQUES
    - PEINTURE
    - ATHLÉTISME
    - FOOTBALL (COUPE INTER-SCIENCE 2003 )
    - SKI
    - RANDONNÉES


    © RH Tech - Tous droits réservés 2005 - contact | qui sommes-nous ? | conditions générales | cnil | presse | affiliation & marque blanche
    Recherche rapide : Formation - Derniers CV - Régions - Dernières offres - Rome - Nos partenaires - Les sites du groupe : Blog CV - Cvtheque