Responsable de Validation Formelle des Données Infras Stf H/F - 93

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

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.

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

03. Informations complémentaires
Région :Ile de France
Type de contrat :
Durée Indéterminée