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. Vous voulez en savoir plus ? cliquez sur le lien suivant : https://ratpgroup.com/fr/. 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é: 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 min 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. 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