Mes compétences :
MATLAB
C
B
Ada
Ingénierie
PHP
Electronique
méthodes formelles
Entreprises
Sogeti High Tech
- Consultant en validation logicielle
Paris2015 - maintenant- Alstom St Ouen, "CBTC U500" :
Vérification deux à deux des spécifications, de l'architecture, des modules et du source code. Validation des spécifications par les tests
Validation du protocole d'échanges inter-équipements
Clearsy
- Consultant en méthodes formelles et en vérification de logiciels sécuritaires
Paris, Aix en Pce et Lyon2013 - 2015Développement et vérification en méthode formelle de projets en pilotage automatique de trains, vérification de la couverture des exigences par le code et maintenances corrective et évolutive logicielles
- Alstom, « CBTC U400 » : Modélisation mathématique des spécifications informelles, implémentation du modèle, validations automatique et interactive de la preuve et tests des scenarii ;
- RATP, Atelier de Qualification Logicielle, « Modernisation de la Ligne 1 phase 3 de Paris » : Vérification de la couverture des spécifications informelles par la modélisation formelle et de leur conception en automates de preuves, instanciation des automates de preuve selon les configurations de voie du Poste de Manœuvre Informatisé « Château de Vincennes - garage » et vérification du correcte rejeu de la preuve ;
- Alstom, « CBTC U500 » : Vérification de la couverture des spécifications informelles par le code ADA ;
- ClearSy, gamme Fersil, « COPPILOT à Caracas » : Maintenances corrective et évolutive du traducteur B2LIST et du banc de tests permettant de générer un code LIST correcte pour les automates Siemens.
Thales
- Stagiaire Architecte Radar
Courbevoie2012 - 2012Conception de radar générique à architecture modulaire. Études portées à partir de radars vendus à l'OTAN
Institut de Recherche Criminelle de la Gendarmerie Nationale
- Stagiaire en année de césure
2011 - 2011Restauration de fichiers audio et vidéo endommagés ou partiellement effacés : concevoir un outil d’investigation dans le but de rendre lisible les fichiers image JPEG permettant l’interprétation par les enquêteurs.
