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

Responsable validation de la sécurité – Business Unit RATP Infrastructures (#RATPInfras)

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.

• Pilotage de 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.
• Pilotage des activités de raffinement du besoin de sécurité en exigences fonctionnelles de sécurité (et le collage avec le logiciel et les invariants).
• Coordination des 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.
• Planification et management des 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, 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é

Diplôme: ingénieur, Master2 ou Doctorat dans le domaine des méthodes formelles.

Expérience: 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.

• Connaissances/compétences sur: 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 et outils de modélisation et de preuve formelle , Management de projet .
• Compétences transverses: Sens de l'écoute , Maîtrise 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 .

Le candidat doit également être en situation conforme aux exigences de santé et sécurité, notamment via la visite médicale réglementaire. Le 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 43000€ BA fixe hors primes
• DuréeIndéterminée
• Région: Île‑de‑France

Avantages

• Possibilité d'évolution vers d’autres métiers y compris en filiales internationales
• 9semaines de congés, soit 206jours 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 (médecins généralistes, dermatologues, ophtalmologues) via les espaces santé

Le poste est ouvert aux personnes en situation de handicap, conformément à la réglementation.