Descriptif du poste: 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.   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 minimum 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