Descriptif du poste:\n\nVous 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.\n\nVos principales activités consistent à :\n\nPiloter 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.\n\nPiloter 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).\n\nCoordonner les activités permettant de garantir le respect de ces exigences (validation) :\n\npar preuve formelle ou avec l'outil OVADO chaque fois que c'est possible,\n\npar 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.\n\nPlanifier et manager les activités de sûreté des systèmes\n\nConformé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.\n\nProfil recherché:\n\nVous 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.\n\nVous disposez de connaissances / compétences sur les sujets suivants :\n\nIngénierie système et logicielle, informatique industrielle, systèmes temps réel\nSystèmes du transport ferroviaire (systèmes de commande/contrôle du mouvement des trains & signalisation)\nMéthodes & outils de modélisation et de preuve formelle\nManagement de projet\nPar ailleurs, disposez des compétences transverses suivantes :\n\nSens de l'écoute\nMaitrise de la communication écrite et orale\nAdaptabilité et autonomie\nEsprit d'initiative et esprit critique\nRigueur\nAppétence pour la résolution de problèmes complexes\n\n\nInformations complémentaires\n\nContrat : CDI\nLocalisation : Fontenay sous Bois\nTélétravail : Télétravail possible\nRémunération : à définir selon profil, minimum de 49K BA fixe hors primes\nAvantages :\n\nPossibilité d'évolution vers d'autres métiers y compris en filiales internationales\n9 semaines de congés, soit 206 jours travaillés par an\nGratuité sur le réseau RATP et 90% de prise en charge sur le réseau IDF hors RATP\nPrise en charge de 75% de l'abonnement hors IDF si concerné\nAccè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\n