Responsable de validation formelle des données F/H (Infras STF)

RATP; Fontenay-sous-Bois; Hybride; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une entreprise de transport public recherche un responsable de validation formelle des données à Val de Fontenay. Vous serez en charge de formaliser et tester les propriétés de sécurité des systèmes ferroviaires. Diplôme bac +5 ou Doctorat requis, avec expérience souhaitée. Le poste propose également des options de télétravail et des opportunités de carrière.

Prestations

9 semaines de congés

Évolution de carrière vers d’autres métiers

Qualifications

• 2 années d'expérience dans le domaine des méthodes formelles ou des logiciels sûrs.
• Idéalement expérience en vérification et validation de systèmes.

Responsabilités

• Formaliser les propriétés de sécurité des données et logiciels.
• Tester et vérifier les propriétés formalisées.
• Dérouler les campagnes de validation des données.

Connaissances

Esprit critique et d'analyse

Rigueur dans la résolution de problèmes complexes

Bonne communication écrite et orale

Sens des responsabilités

Esprit d'initiative

Formation

Diplôme de bac +5 ou Doctorat

Description du poste

Poste et Missions

Soyez notre futur responsable de validation formelle des données! La Business Unit RATP Infrastructures assure les missions de gestionnaire d\'infrastructures. Elle est responsable de l\'aménagement, de l\'entretien et du renouvellement de l\'infrastructure, et garantit dans la durée le maintien des conditions de sécurité, d\'interopérabilité et de continuité du service public.

L\'équipe de Validation des Applications Spécifiques, composée de 13 personnes (hors prestataires) et rattachée à l\'entité Sûreté de Fonctionnement des Systèmes, a pour principale fonction de réaliser des activités de validation sécuritaire sur des systèmes du transport ferroviaire en amont de leur mise en service.

01. Poste et Missions

Poste et Missions

Vos journées en quelques mots ?

Vous aurez principalement la charge de :

• Formaliser les propriétés de sécurité que les données, les logiciels et les poste de signalisation doivent vérifier,
• Tester les propriétés formalisées, par exemple au travers de l\'injection d\'erreurs,
• Vérifier le travail de vos pairs dans le cadre de vérifications croisées,
• Dérouler les campagnes de validation des données avant leurs mises en service,
• Analyser les anomalies identifiées à l\'issue de vos campagnes de validation des données,
• Tracer les résultats de vos activités de validation de données au sein de rapports de validation,
• Contribuer à l\'amélioration continue des activités de validation des données,
• Maintien et développement des outils de validation des données et de preuve formelle,
• Contribuer à l\'élaboration des offres sur le périmètre des activités de validation des données.

Vous voulez en savoir plus ? cliquez sur le lien suivant : https://www.ratp.fr/groupe-ratp

Conformément à la loi n°2016-339 du 22 mars 2016 et au décret n°2017-757 du 3 mai 2017 pris en son application, une enquête administrative sera sollicitée auprès des services du Ministère de l’Intérieur pour tout candidat sur ce poste.

Profil recherché

02. Profil recherché

Quels sont les prérequis pour embarquer dans l’aventure ?

Vous êtes diplômé d\'un bac +5 ou d\'un Doctorat dans le domaine des méthodes formelles, du développement de logiciels sûrs ou de la sûreté de fonctionnement (en particulier appliquée au domaine Logiciel) ? et vous avez idéalement acquis 2 années d’expérience dans le domaine

Vos atouts ? :

• Esprit critique et d’analyse
• Rigueur dans la résolution de problèmes complexes
• Bonne communication écrite et orale
• Sens des responsabilités et esprit d’initiative

Vous cochez toutes les cases ou presque ? Postulez ! On a hâte de vous rencontrer ? Tous nos métiers sont ouverts aux personnes en situation de handicap. En intégrant le Groupe RATP, on vous propose un CDI.

Où et comment ?

Votre poste sera basé à Val de Fontenay 94120. Si vous le souhaitez, vous pourrez aussi télétravailler 2 à 3 jours par semaine.

Question rémunération ?, ce sera en fonction de votre expérience.

Les plus ?

• Evolution de carrière vers d’autres métiers y compris en filiales internationales,
• 9 semaines de congés, soit 206 jours travaillés par an.

#RATPInfras

Informations complémentaires

Région : Île de France

Type de contrat : Durée Indéterminée