Stage Vérification formelle d'un système de signalisation ferroviaire H/F

Date: 28 janv. 2023

Lieu: Saint-Ouen, FR

Entreprise: Alstom

Req ID:[[390381]] 

À 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 70 000 personnes ouvrent la voie à une mobilité plus verte et plus intelligente, dans le monde entier.

 

POURQUOI REJOINDRE L'AVENTURE ALSTOM ?

 

À 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 70 000 personnes ouvrent la voie à une mobilité plus verte et plus intelligente, dans le monde entier.

Au sein de notre activité signalisation 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.

Localisée à Saint-Ouen-sur-Seine, centre d’excellence mondial, plus de 1000 collaborateurs vous y attendent.

 

Nous recherchons un(e) stagiaire en Vérification formelle d'un système de signalisation ferroviaire pour notre site de Saint-Ouen-sur-Seine (93, desservi par les lignes 13 et 14 du métro francilien).

 

Notre environnement :

 

L’équipe que vous intégrerez est composée d’une petite dizaine de collaborateurs, travaillant sur des méthodes et processus innovants au sein du département Sûreté de Fonctionnement pour le déploiement des projets.

Notre équipe est en charge de développer et déployer de nouveaux processus basés sur l’utilisation des méthodes formelles (c.-à-d. fondées sur un formalisme mathématique) pour le développement de ses logiciels critiques pour la sécurité. Les techniques et algorithmes de traitement dans ce domaine sont en constante évolution. Alstom veille à toutes les opportunités offertes par ces moyens afin d'améliorer la performance et la précision de ces démonstrations de sécurité. Dans ce cadre, Alstom a développé un processus de vérification de la sécurité de ses sous-systèmes d’enclenchement (commande des aiguillages, des signaux, etc.). Ce processus est actuellement en cours d’application sur plusieurs solutions Alstom, en phase de déploiement sur site.

 

Le stage s’inscrira dans le cadre de ce processus innovant auquel vous devrez prendre part pour le maitriser. Vous serez également amené(e) à proposer des améliorations et optimisations afin de faciliter le déploiement de ce processus sur d’autres solutions Alstom à travers le monde.

 

Les missions qui vous seront confiées :

 

Après une étape d’intégration et de formation interne, et tout en étant intégré(e) à l’équipe Méthodes Formelles vous contribuerez à :

  • Formuler des propriétés de sécurité du sous-système d’enclenchement
  • Modéliser les propriétés de sécurité et de l’environnement du sous-système d’enclenchement (interfaces),
  • Traduire le modèle du système dans le langage formel ‘High Level Language’ choisi par Alstom,
  • Traduire le modèle de données décrivant la ligne en cours de déploiement
  • Mettre en œuvre la preuve des propriétés de sécurité prédéfinies, déboguer le modèle et rechercher les contre-exemples.
  • S’interfacer avec les équipes de conceptions afin de clarifier les points bloquant de la démonstration.
  • Réaliser un retour d’expérience continu afin de participer concrètement à l’amélioration du processus.

 

Ces missions seront amenées à évoluer tout au long de votre stage chez nous. Un suivi régulier sera également mis en place avec votre maître de stage pour vous permettre de monter en responsabilités.

 

Le profil que nous recherchons :

 

  • D’un niveau Bac +5, vous êtes étudiant(e) en école d’ingénieur avec une spécialisation en méthodes formelles, automatique, informatique, sciences et techniques de l’information ou sûreté de fonctionnement (FDMS)
  • Au cours de votre formation vous avez déjà été amené(e) à manipuler des outils de modélisation (Scade/Matlab/autres)
  • Vous souhaitez appliquer des techniques innovantes à des systèmes embarqués complexes
  • Vous appréciez le travail en équipe, vous êtes dynamique et rigoureux/se
  • Vous avez une certaine appétence pour la logique et vous êtes curieux d’apprendre
  • Vous maitrisez parfaitement le français, un niveau [B2] est requis en Anglais

 

Date de début attendue : à partir de janvier 2023 

Durée totale de stage : 6 mois 

 

Une convention de stage est exigée. 

Alstom est une entreprise leader dans le secteur de la mobilité, qui résout les grands défis de la mobilité de demain. C'est pour cela que nous valorisons les personnes curieuses et innovantes qui sont passionnées par l’idée de travailler ensemble afin de réinventer la mobilité, de la rendre plus intelligente et plus durable. Jour après jour, nous construisons une culture agile, inclusive et responsable. Nos équipes, venant d’horizons différents, se voient offrir des opportunités d'apprendre, de se développer et de construire leur carrière en évoluant sur différentes fonctions et sites géographiques. Êtes-vous prêt à rejoindre une véritable communauté internationale pour une aventure stimulante et impactante ?  

 

Déclaration sur l’égalité des chances :

Alstom garantit l'égalité des chances et s'engage en tant qu’employeur à créer un environnement de travail inclusif où tous sont encouragés à atteindre leur plein potentiel, et où les différences individuelles sont valorisées et respectées.  Tous les candidats qualifiés sont considérés dans nos processus de recrutement sans tenir compte de l’origine, de la couleur de peau, de la religion, du sexe, de l'orientation sexuelle, de l'identité de genre, de l'âge, de la nationalité, de la nature du handicap ou de toute autre caractéristique protégée par la loi locale.