Menu

Antoine REQUET

Meudon Cedex

Electionsmunicipales 2026

RETROUVEZ GRATUITEMENTRésultat municipales à Marseille
Résultat municipales dans les Bouches-du-Rhône

En résumé

Mes compétences :
Linux
Java Platform

Le résumé de ce profil est encore très bref.

Vous pouvez aider Antoine à mieux valoriser son parcours en lui suggérant d'ajouter quelques détails supplémentaires.



Vous pouvez lui suggérer d'en écrire plus en lui envoyant un message. Pour cela ajoutez d'abord Antoine à vos contacts.

Entreprises

  • MathWorks - Senior Software Engineer

    Meudon Cedex 2013 - maintenant

  • ClearSy - Resonsable développement outils

    Paris, Aix en Pce et Lyon 2007 - maintenant Responsable développement outils à ClearSy
    - Développement et maintenance de l'outil de développement logiciel formel "Atelier B"
    Formateur à la méthode B
    - Dispense de formations en France et à l’étranger depuis 2008.
    Développement logiciel embarqué
    - Développement de logiciels Linux embarqués pour les métros de Paris et Sao-Paulo

  • Gemplus - Ingénieur Recherche

    Meudon 1999 - 2007 Ingénieur recherche à Gemplus/Gemalto
    - Développement d'une machine virtuelle .NET embarquée pour carte à puce et objets intelligents. Ce projet a reçu un prix « Sésames » au salon Cartes 2005
    - Développement et intégration dans l’environnement de développement Java « Eclipse » d’un outil de validation formelle de programmes Java à partir d’annotation en langage JML
    - Spécification et développement en B du premier vérifieur de byte-code embarqué prouvé correct pour Java Card
    - Responsable technique sur le projet RNTL BOM (B optimisé mémoire), projet visant à développer un compilateur du langage B vers le langage C applicable aux plates-formes embarquées fortement contraintes

  • Gemplus - Stage de fin d'études

    Meudon 1998 - 1998 Stage de fin d’études à Gemplus, dans le laboratoire de recherche
    Application de la méthode formelle B à la validation des optimisations effectuées par le convertisseur d’applets Java pour les cartes Java Card.

  • Ecole de l'ait - Scientifique du contingent

    1998 - 1999 Service national en tant que scientifique du contingent à l’école de l’air
    - Cours d’informatique (langage C), et encadrement de projets d’élève
    - Conception et développement d’applets Java de support à l’enseignement

  • Wipro Systems - Stage Ingénieur

    1997 - 1997 Stage à WIPRO Systems, entreprise d’informatique basée à Bangalore (Inde)
    Création de composants réutilisables en Java et définition de règles de programmation.

Formations

Réseau

Annuaire des membres :