Stage - Ingénieur assurance sécurité Méthodes Formelles F/H

ALSTOM Gruppe; Saint-Ouen-sur-Seine; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une entreprise de mobilité durable recherche un(e) stagiaire Ingénieur Assurance Sécurité en Méthodes Formelles. Vous contribuerez à l'amélioration des processus de sûreté de fonctionnement dans un environnement innovant. Ce stage est ouvert aux étudiants en Bac+5 et nécessite connaissance des outils de modélisation et une bonne maîtrise du français et anglais. Rejoignez-nous pour développer vos compétences au sein d'une équipe dynamique.

Prestations

Formation et développement

Stabilité de l'emploi

Couverture sociale complète

Projets innovants

Qualifications

• Actuellement en Bac+5 avec spécialisation en méthodes formelles ou ingénierie.
• Expérience avec des outils de modélisation appréciée.
• Capacité à travailler en équipe de façon dynamique et rigoureuse.

Responsabilités

• Formuler des propriétés de sécurité pour les sous-systèmes d’enclenchement.
• Modéliser sécuritairement les sous-systèmes d’enclenchement.
• Déboguer les preuves des propriétés de sécurité prédéfinies.

Connaissances

Outils de modélisation (Scade, Matlab)

Systèmes embarqués complexes

Langages formels

Logique

Travail en équipe

Français et Anglais (B2)

Formation

Bac+5 en école d’ingénieur

Description du poste

Sélectionnez la fréquence (en jours) de réception d’une alerte:

Stage - Ingénieur assurance sécurité Méthodes Formelles F/H

À 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.

Pourriez-vous être le/la Stagiaire en Méthodes Formelles - Système de Signalisation Ferroviaire que nous recherchons ?

Votre futur rôle

Relevez un nouveau défi et mettez à profit votre expertise en méthodes formelles et modélisation dans un domaine de pointe. Vous travaillerez avec une équipe collaborative, innovante et passionnée, et vous jouerez un rôle clé dans l’amélioration continue de nos processus de sûreté de fonctionnement pour nos projets ferroviaires.

Au quotidien, vous travaillerez en étroite collaboration avec les équipes de l'entreprise (méthodes formelles, conception et développement), participerez à l’amélioration des processus de vérification de la sécurité et contribuerez à leur déploiement sur des solutions Alstom à l’échelle mondiale.

Vous vous occuperez plus particulièrement de formuler et modéliser des propriétés de sécurité pour nos sous-systèmes d’enclenchement, mais aussi de traduire et mettre en œuvre des modèles formels pour garantir leur performance et leur précision.

Nous ferons appel à vous pour :

• Formuler des propriétés de sécurité pour les sous-systèmes d’enclenchement.
• Modéliser les propriétés de sécurité et l’environnement des sous-systèmes d’enclenchement.
• Traduire les modèles dans un langage formel spécifique (High Level Language).
• Mettre en œuvre et déboguer les preuves des propriétés de sécurité prédéfinies.
• Rechercher des contre-exemples et clarifier les points bloquants avec les équipes de conception.
• Contribuer à l’amélioration continue des processus grâce à des retours d’expérience.
• Participer activement à la diffusion et à l’optimisation de ces processus sur d’autres solutions Alstom à l’échelle internationale.
• Collaborer avec des experts et des équipes multidisciplinaires pour atteindre des objectifs communs.

Votre profil

Nous accordons plus d'importance à la passion et à l’état d’esprit qu'à l'expérience. C'est pourquoi nous n'attendons pas de vous que vous possédiez toutes les compétences. Nous avons plutôt dressé une liste de celles qui, selon nous, vous aideront à réussir et à vous épanouir dans ce rôle :

• Diplôme en cours : Bac+5 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).
• Expérience ou compréhension des outils de modélisation (Scade, Matlab ou autres).
• Connaissance des systèmes embarqués complexes ou des processus de sûreté de fonctionnement.
• Familiarité avec des langages formels ou des outils de modélisation mathématique.
• Une appétence pour la logique et une curiosité pour l’apprentissage de nouvelles méthodes.
• Une capacité à travailler en équipe, avec dynamisme et rigueur.
• Une maîtrise parfaite du français et un niveau B2 minimum en anglais.

Ce que vous apprécierez

Rejoignez-nous pour une nouvelle expérience de vie - le secteur ferroviaire est un secteur d’avenir, vous pouvez donc vous développer et acquérir de nouvelles compétences et expériences tout au long de votre carrière. Vous pourrez également :

• Bénéficier de stabilité, de défis et d'une carrière à long terme sans routine quotidienne.
• Travailler avec des experts passionnés et engagés dans le domaine des méthodes formelles.
• Collaborer avec des équipes transversales et des collègues qualifiés.
• Contribuer à des projets innovants qui façonnent l’avenir de la mobilité durable.
• Évoluer dans un environnement de travail collaboratif et stimulant.
• Orienter votre carrière dans la direction de votre choix à travers les fonctions et les pays.
• Bénéficier de notre investissement dans votre développement, par le biais de programmes d’apprentissage primés.
• Progresser vers des opportunités de carrière enrichissantes dans le domaine des systèmes ferroviaires.
• Bénéficier d'un système de rémunération équitable et dynamique qui reconnaît vos performances et votre potentiel, ainsi que d'une couverture sociale complète et compétitive (assurance-vie, assurance-maladie, pension).

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.