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 : Bac5 informatique ou généraliste (ingénieur(e) ou universitaire), passionné par la technique, l’informatique et les mathématiques.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.