Ingénieur Méthodes Formelles

À la tête des entreprises qui sengagent vers un avenir plus vert Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour lavenir des transports. Notre portefeuille de produits sétend des trains à grande vitesse métros monorails et tramways jusquaux systèmes intégrés services sur mesure infrastructures signalisation et solutions de mobilité numérique. Nous rejoindre cest rejoindre une entreprise bienveillante responsable et innovante où plus de 80 000 personnes ouvrent la voie à une mobilité plus verte et plus intelligente dans le monde entier.

Au sein de notre activité signalisation localisée à Saint-Ouen-sur-Seine (93) nous concevons les nouvelles solutions intelligentes permettant lexploitation des réseaux de transports ferroviaires.

Nos métiers en innovation informatique cybersécurité électronique et en télécommunications construisent lintelligence des trains de demain afin de répondre aux besoins de mobilité plus durable.

Nous recherchons des personnes curieuses dotées dun esprit novateur et qui ont à cœur de réinventer la mobilité en la rendant plus intelligente et plus durable.

Notre site de Saint-Ouen-sur-Seine constitue notre centre dexcellence mondial en signalisation au sein duquel plus de 1000 collaborateurs vous y attendent.

INGENIEUR(E) METHODES FORMELLES (H/F)

MISSIONS

En qualité dIngénieur(e) Méthodes Formelles vous intégrerez le département Sûreté de Fonctionnement projet et serez rattaché au Responsable Assurance Sécurité des projets Méthodes Formelles. A ce titre vos missions principales seront les suivantes:

• Appliquer les techniques de spécification de développement ou de vérification formels sur les systèmes de signalisation dAlstom ;
• Participer à plusieurs projets de recherche etde développement dAlstom (internes et externes) ;
• Proposer un processus transverse dapplication des méthodes formelles pour lentité signalisation dAlstom et de veiller à son application.

Votre rôle est de:

• Réaliser les activités des projets de développement damélioration continue ou de recherche internes utilisant les méthodes formelles ;
• Réaliser les activités attribuées à Alstom pour les projets collaboratifs sur les méthodes formelles auxquels Alstom participe ;
• Participer à la définition et faire le suivi technique des sous-traitances mettant en oeuvre des méthodes formelles;
• Suivre les développements des méthodes formelles et proposer des utilisations qui améliorent les objectifs de Qualité Coût et Délais des produits Alstom ;
• Définir les processus des utilisations des méthodes formelles conformes aux normes ferroviaires et aux processus Alstom applicables.

PROFIL RECHERCHE

• Ingénieur BAC5 spécialisé(e) dans le domaine des méthodes formelles lautomatique les sciences et techniques de linformation ou la sûreté de fonctionnement.
• Maîtrise du français.
• Anglais indispensable.
• Connaissancesthéoriques :
  • Logique preuve formelle model-checking ;
  • Principes de la sûreté de fonctionnement.
• Connaissances pratiques:
  • Processus de développement/vérification/validation/certification;
  • Méthodes formelles(exemple: HLL B VDM COQ HOL TLA ).
• Expérience appréciée:
  • Modélisation/vérification formelle (exemple: Atelier B ProB Prover S3 Spin MuSMV ) ;
  • Analyses de sécurité (AMDEC arbres de défaillance ).
  • Connaissance du domaine de la signalisation ferroviaire.

LOCALISATION

Vous serez basé dans nos locaux à Saint-Ouen-sur-Seine (93).

Il nest pas nécessaire dêtre un passionné de trains pour sépanouir chez nous. Nous vous garantissons que lorsque vous monterez dans lun de nos trains avec vos amis ou votre famille vous en serez fier. Si vous êtes prêt à relever le défi nous aimerions vous connaître !

Important

En tant quentreprise mondiale nous sommes un employeur qui prône légalité des chances et qui célèbre la diversité dans les 63 pays où nous sommes présents. Nous nous engageons à créer un lieu de travail inclusif pour tous.