Ingénieur Méthodes Formelles

À la tête des entreprises qui s’engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails et tramways jusqu’aux systèmes intégrés, services sur mesure, infrastructures, signalisation et solutions de mobilité numérique. Nous rejoindre, c'est 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 l’exploitation des réseaux de transports ferroviaires.

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

Nous recherchons des personnes curieuses dotées d’un 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 d’excellence mondial en signalisation au sein duquel plus de 1000 collaborateurs vous y attendent.

En qualité d'Ingé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 d'Alstom ;
• Participer à plusieurs projets de recherche etde développement d'Alstom (internes et externes) ;
• Proposer un processus transverse d'application des méthodes formelles pour l'entité signalisation d'Alstom, et de veiller à son application.

Votre rôle est de:

• Réaliser les activités des projets de développement, d'amé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.
• Ingénieur BAC+5, spécialisé(e) dans le domaine des méthodes formelles, l’automatique, les sciences et techniques de l’information 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.

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

Il n'est pas nécessaire d'être un passionné de trains pour s'épanouir chez nous. Nous vous garantissons que lorsque vous monterez dans l'un 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 !

En tant qu'entreprise 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.