Descriptif du poste: Rejoignez l'équipe validation formelle de données qui a pour objectif d'automatiser les vérifications manuelles des contraintes sécuritaires sur les données de leurs projets ferroviaires. Vos missions seront de : * Analyser et modéliser les contraintes sécuritaires en utilisant les méthodes formelles rigoureuses ; * Tester et valider les modélisations ;  * Dérouler les campagnes de validation sur les données réelles des projets avant leurs mises en service. Profil recherché: Bac+5 informatique ou généraliste (ingénieur(e) ou universitaire), passionné par la technique, l'informatique et les mathématiques.