Expériences professionnelles
Chargé de validation de la sécurité ferroviaire (méthodes formelles)
Groupe RATP , . - CDI
De Octobre 2023 à Aujourd'hui
Chargé de la sécurité ferroviaire sur postes de signalisation PHPI (Poste Hybride à Procédés Informatiques). J'utilise les méthodes formelles pour prouver l'absence de contraires sécurité.
Je dois également proposer les évolutions potentielles :
- des modélisation de l'environnement des trains ;
- des futurs postes.
Je qualifie les outils et participe à la validation complète de produits (postes de signalisation) et aux mises en service.
Ingénieur ia : diagnostic de pannes (bac+5)
SAFRAN ELECTRONICS & DEFENSE , Éragny - Stage
De Février 2023 à Juillet 2023
Projet de Fin d'études (Bac+5), 6 mois, Safran Electronics & defense
Détection de panne sur système de localisation inertielle par Machine learning/deep learning et inférence bayésienne.
Assistant ingénieur modélisation formelle de postes d'aiguillage (bac+4)
SNCF Réseau , Saint-denis - Stage
De Février 2021 à Juillet 2021
Modélisation de principes génériques de signalisation ferroviaire avec des machines à état sous UML.
Paramétrage de plan de voie (spécification des objets de la voie).
Conception et développement de l'environnement du train (HLL) et des preuves de sécurité à vérifier.
Parcours officiels
Langues
Allemand - Courant
Anglais - Courant
Compétences
Centres d'intérêt
- Waterpolo (association sportive UTC) Natation (quatre ans en club) Plongée et apnée Ski