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 n2016-339 du 22 mars 2016 et au décret n2017-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 Pourquoi choisir le groupe RATP ? Le Groupe RATP est le 3ème acteur mondial du transport public, implanté dans 15 pays et sur 5 continents. Nous rejoindre, c'est s'engager chaque jour à faire vivre les valeurs d'un service essentiel au déplacement quotidien de nos voyageurs. Tous les jours, nos 71 000 salariés à travers le monde se mobilisent pour développer, exploiter, entretenir et moderniser des systèmes de transport collectif innovants et répondre ainsi aux besoins de mobilité des villes de demain. Dans un contexte de développement des transports en commun pour un monde moins carboné, l'intérêt général guide notre engagement. Il donne du sens à nos métiers, soude les équipes et transporte nos collaboratrices et collaborateurs dans leurs carrières. En nous rejoignant, vous développerez des compétences tout au long de votre parcours professionnel au sein du groupe. Vous pourrez également saisir l'opportunité d'évoluer vers d'autres domaines, d'autres métiers grâce aux mobilités internes. Alors... pourquoi pas vous ?