Descriptif du poste:\n\nRejoignez 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.\n\nVos missions seront de :\n* Analyser et modéliser les contraintes sécuritaires en utilisant les méthodes formelles rigoureuses ;\n* Tester et valider les modélisations ; \n* Dérouler les campagnes de validation sur les données réelles des projets avant leurs mises en service.\n\nProfil recherché:\n\nBac+5 informatique ou généraliste (ingénieur(e) ou universitaire), passionné par la technique, l'informatique et les mathématiques.