Responsable de validation formelle de la sécurité F/H (INFRA STF)

About the role

Rejoindre la RATP, c'est intégrer l'un des plus grands acteurs de transport urbain au monde et contribuer chaque jour à la mobilité de plus de 8 millions de voyageurs en Île-de-France. Au sein de la RATP, nos 43000 collaborateurs assurent la circulation des bus, métros, RER et tramways, modernisent nos infrastructures et développent des solutions innovantes pour une mobilité plus durable. Ici, vos compétences participent directement à un service public essentiel, tout en vous offrant de nombreuses perspectives d'évolution au sein d'une grande diversité de métiers. Vous intégrez la Business Unit RATP Infrastructures (#RATPInfras) qui 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. Le ou la responsable validation de la sécurité réalise et coordonne les activités de validation (en 1er ou 2nd regard) de la sécurité des applications spécifiques de systèmes de contrôle-commande ou de signalisation ferroviaire déployés sur le réseau de la RATP. 01. Poste et Missions Vous piloterez les activités de définition du besoin de sécurité de l'application spécifique ainsi que celles permettant d'avoir l'assurance du respect des exigences fonctionnelles de sécurité, à l'aide de méthodes outillées. Vos principales activités consistent à : Piloter l'identification du besoin de sécurité (principes de sécurité) e n collaboration avec le fournisseur ou avec son support ou en revue critique, selon la complexité des fonctions et des connaissances déjà acquises du produit industriel. Piloter les activités de raffinement du besoin de sécurité en exigences fonctionnelles de sécurité (et le collage avec le logiciel et les invariants). Coordonner les activités permettant de garantir le respect de ces exigences (validation) : par preuve formelle ou avec l'outil OVADO chaque fois que c'est possible, par tests (les cas de tests étant dans ce cas définis par la modélisation préalable du système : Cf méthode ASA+) dans le cas contraire. Planifier et manager les activités de sûreté des systèmes 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é Vous devez être titulaire d'un diplôme d'ingénieur, Master 2 ou Doctorat dans le domaine des méthodes formelles et vous justifiez d' une première expérience (stage inclus) dans le domaine du développement de logiciels sûrs ou en sûreté de fonctionnement appliquée au domaine logiciel. Vous disposez de connaissances / compétences sur les sujets suivants : Ingénierie système et logicielle, informatique industrielle, systèmes temps réel Systèmes du transport ferroviaire (systèmes de commande/contrôle du mouvement des trains & signalisation) Méthodes & outils de modélisation et de preuve formelle Management de projet Par ailleurs, disposez des compétences transverses suivantes : Sens de l'écoute Maitrise de la communication écrite et orale Adaptabilité et autonomie Esprit d'initiative et esprit critique Rigueur Appétence pour la résolution de problèmes complexes Tous nos métiers sont ouverts aux personnes en situation de handicap. L'adéquation entre les capacités du candidat et les exigences du poste est évaluée dans le cadre de la visite médicale réglementaire. Pour initier votre embauche, votre casier judiciaire B3 vous sera demandé. Informations complémentaires Contrat : CDI Localisation : Fontenay sous Bois Télétravail : Télétravail possible Rémunération : à définir selon profil, minimum de 43K BA fixe hors primes Avantages : Possibilité d'évolution vers d'autres métiers y compris en filiales internationales 9 semaines de congés, soit 206 jours travaillés par an Gratuité sur le réseau RATP et 90% de prise en charge sur le réseau IDF hors RATP Prise en charge de 75% de l'abonnement hors IDF si concerné Accès gratuit à une variété de spécialistes médicaux au sein de nos espaces santé, incluant des médecins généralistes, des dermatologues, des ophtalmologues Pour en savoir plus sur le Groupe RATP, cliquez sur le lien suivant : https://ratpgroup.com/fr/ #RATPinfras 03. Informations complémentaires Région :Ile de France Type de contrat : Durée Indéterminée