Mes compétences :
Microsoft Office
ERTMS niveau 2
CBTC
MATLAB/Simulink
Méthode B
Ada
C++
Entreprises
RATP
- Chargé de mission maintenance système
Paris2017 - maintenant
Clearsy
- Ingenieur d'étude
Paris, Aix en Pce et Lyon2011 - 2016Ingénieur d'étude dans le ferroviaire.
RATP - Intégration système - Prolongement Ligne 11, Modernisation Ligne 6 et Interconnexions Ligne 15 - 2014 à 2016
* Modélisation de l’architecture système et de l’architecture fonctionnelle
* Étude de la prédisposition à l’automatisation future (Ligne 11)
* Traçabilité des exigences
* Intégration des besoins basse tension
* Optimisation des besoins en surfaces dans les locaux techniques
* Étude des contraintes CBTC sur la signalisation
RATP - Suivi opérationnel - OCTYS Ligne 3 & OURAGAN Ligne 13 – 2014 à 2016
* Suivi des incidents d’exploitation
* Suivi des indicateurs contractuels
* Mise en place de nouveaux indicateurs FMDS
* Suivi des industriels
* Gestion des bases de données Ligne 13
* Automatisations des traitements et mise en place d’outils
* Formation des équipes de maintenance RATP
RATP - Vérification formelle - bord ERTMS de la LGV Est (RFF) - 2014
* Modélisation des exigences de sécurité et preuves formelles
* Analyse des retours clients
Alstom - Design - Urbalis 400 (Bord et Sol) - 2012 à 2014
* Spécifications, implantation et preuves en B des nouvelles fonctionnalités
* Tests designer
* Traçabilité et explications des exigences dans le modèle abstrait
* Optimisation pour la réduction du temps de cycle
Clearsy - Vérifications formelles - projets internes et Alstom Urbalis - 2011
* Couverture des exigences et traçabilité du code
* Vérification du modèle B
Astrium
- Ingenieur stagiaire
Blagnac 2009 - 2009« Reconfiguration en vol de la chaîne de navigation Ariane 5 ».
Conception, développement et implantation d’un schéma de détection de pannes des capteurs de navigation d’Ariane 5 ME
Tests et validation.
Université de Rouen
- Mémoire de Recherche de master 2
Mont-Saint-Aignan2008 - 2009« Observabilité et observateurs pour les équations classiques : Van der Pol, Lorenz, Rössler ».