Ingénieur validation formelle de données sécuritaires H/F

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 : Bac+5 informatique ou généraliste (ingénieur(e) ou universitaire), passionné par la technique, l’informatique et les mathématiques.