Descriptif du poste: 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é) en 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. 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 expérience de 5 ans minimum 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 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 49K 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 #RATPinfras