Titre du poste
Ingénieur validation formelle de données sécuritaires F/H
Description
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
Qualifications
Bac+5 informatique ou généraliste ingénieur(e) ou universitaire, passionné par la technique, l'informatique et les mathématiques
Organisme employeur
Type de poste
Temps plein
Secteur
CONSEIL EN SYSTÈMES ET LOGICIELS INFORMATIQUES
Lieu du poste
AIX EN PROVENCE, 13001, France
Date de publication
10 septembre 2024 à 17:02
Valide jusqu’au
10 octobre 2024 à 00:00
Exportation PDF
Offre terminée le 10 octobre 2024 à 00:00
