Ingénieur Méthodes Formelles – Vérification Ferroviaire

Alstom, leader mondial de la mobilité, recherche un ingénieur spécialisé en méthodes formelles pour rejoindre l’équipe signalisation à Saint-Ouen-sur-Seine. Vous appliquerez des techniques de spécification, développement et vérification formels sur des systèmes de signalisation.

Vous participerez à des projets internes et collaboratifs, proposerez des processus et veillerez à leur application, tout en assurant le suivi technique des sous-traitances et l'amélioration continue des objectifs