Stage Spécification formelle de système de contrôle de métro automatique H/F

Date: 28 janv. 2023

Lieu: Saint-Ouen, FR

Entreprise: Alstom

Req ID:[[390581]] 

À 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 Spécification formelle de système de contrôle de métro automatique 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 développe un processus de vérification de la sécurité de ses systèmes critiques de sécurité depuis la phase de spécification jusqu’à son implémentation. Ce processus est actuellement en cours d’application sur l’une des solutions CBTC (métro automatique) 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 à :

  • Prendre connaissance et comprendre les principes de sécurité de la nouvelle solution d’Alstom pour le pilotage de métro autonome.
  • Modéliser ces principes afin de démontrer qu’ils permettent de garantir un fonctionnement du système en toute sécurité.
  • Réaliser cette démonstration mathématique au sein d’un outil intégré utilisant des solveurs SMT.
  • S’interfacer avec les équipes de conception afin de clarifier les points bloquants 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és à manipuler des outils de modélisation (Scade/Matlab/autres)
  • Vous souhaitez appliquer des techniques innovantes à des systèmes embarqués complexes en cours de déploiement
  • 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.