Leader Validation Formelle de la Sécurité Ferroviaire

Régie Autonome des Transports Parisiens recherche un responsable validation de la sécurité pour piloter la définition du besoin de sécurité et assurer la validation des systèmes de contrôle-commande et de signalisation ferroviaire sur le réseau RATP. Vous avez une formation d'ingénieur ou équivalent dans les méthodes formelles et une première expérience dans le domaine logiciel sûr.

Ce poste exige des compétences en modélisation et preuve formelle, et offre des perspectives d'évolution au sein