Stage: Ingénieur Assurance Sécurité - Méthodes Formelles

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

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.