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