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

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.

Bac5 informatique ou généraliste (ingénieur(…