Un(e) Ingénieur Assurance Sécurité Méthodes Formelles H/F

Date: 16 nov. 2022

Lieu: Saint-Ouen, J, FR

Entreprise: Alstom

POURQUOI REJOINDRE L'AVENTURE ALSTOM ?

Alstom, l'un des principaux fournisseurs de matériel roulant et de systèmes de contrôle de trains et de métros, dont le siège est basé en France, est présent dans plus de 70 pays et emploie actuellement 75000 collaborateurs.

Ses 11500 collaborateurs en France sont détenteurs d’un savoir-faire destiné à servir les clients français et internationaux. Un emploi chez Alstom en génère environ trois chez ses fournisseurs.

L'industrie ferroviaire est aujourd'hui caractérisée par une croissance forte et continue à travers le monde. Les tendances à l'origine de cette situation sont : enjeux environnementaux, la croissance de la population mondiale, l'urbanisation et l'augmentation de la demande de mobilité.

Avec près de 9 milliards de vente, Alstom développe la gamme la plus complète de systèmes, équipements et services du marché du ferroviaire.

Aujourd'hui nous proposons à nos clients des solutions qui allient des technologies variées, des interfaces optimales, des méthodes d'implémentation flexibles et innovantes. 

CE QUE NOUS POUVONS REALISER ENSEMBLE :

 Au sein de notre site en Signalisation Ferroviaire de Saint-Ouen, et plus particulièrement pour l'entité Alstom Digital & Integrated Systems (D&IS) qui a pour missions de définir et de concevoir les solutions d’informatique, d’électronique et de télécommunications des réseaux de transport de demain, vous êtes amené(e) à travailler sur des projets à forts enjeux et impacts.

 

L'Ingénieur Méthodes Formelles H/F rapporte au Responsable Assurance Sécurité des projets grandes lignes au sein du département Safety projet d’ALSTOM D&IS et aura comme responsabilités :

  • D'appliquer les techniques de spécification, de développement ou de vérification formels sur les systèmes de signalisation d'Alstom ; 
  • De participer à plusieurs projets de recherche et de développement d'Alstom (internes et externes ie. projets collaboratifs européen H2020/Shift2Rail) ;
  • De 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.

 

QUEL EST VOTRE PROFIL ?

  • 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.
  • Connaissances thé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 (HLL, B, VDM, COQ, HOL, TLA, …) ;
    • Normes (ferroviaires, aéronautiques, …) ;
    • Langages de programmation (Ada, C, Lustre, OCaml, …) ;
  • Expérience appréciée :
    • Développement/vérification/validation de systèmes embarqués ;
    • Modélisation/vérification formelle (Atelier B, ProB, Prover, S3, Spin, MuSMV, …) ;
    • Analyses de sécurité (AMDEC, arbres de défaillance, …) ;
  • Un plus:
    • Connaissance du domaine de la signalisation ferroviaire:
    • Sémantique et compilation des langages de programmation.

 

Localisation

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

Pour faire face aux enjeux de la mobilité de demain, notre ambition pour nos clients et partenaires, est d’imaginer et développer pour eux des systèmes de mobilité complets, les plus efficaces, intelligents et durables.

Alstom développe et propose des solutions digitales de mobilité établies à partir de technologies de pointe.

Nous fournissons des solutions pour assurer la sécurité et la fluidité des passagers et de l'exploitation, en optimisant les performances en temps réel de système de signalisation et multimodaux, en offrant la connectivité à tous, et en automatisant la conduite.

Chez Alstom, nous construisons une culture agile, inclusive et responsable, au sein de laquelle des talents d’horizons différents se voient offrir des opportunités de formation, de développement et d’évolution professionnelle, avec la possibilité d’occuper différents postes dans de nombreuses zones géographiques.

"Alstom s'engage en faveur de la diversité et de l'emploi des personnes handicapées".

 

Rejoignez une entreprise dynamique qui saura vous proposer de réelles perspectives d’évolution sur des projets variés et internationaux !