Offres de stage

Stage : Sûreté de fonctionnement (FMDS) sur des systèmes de contrôle-commande critiques ferroviaires H/F (STAGE_SSE_ERTMS)

L’objectif de votre stage sera d’apporter un support aux activités de Sûreté de fonctionnement réalisées au sein du département pour le compte de maîtres d’œuvre et/ou d’ouvrage ou d’industriels de systèmes de contrôle-commande ferroviaire critiques (ERTMS/ETCS/Signalisation).

Stage : Évaluation de systèmes de contrôle-commande critiques ferroviaires H/F (STAGE_SSE_Validator)

L’objectif de votre stage sera, pour des projets de déploiements de systèmes de contrôle-commande ferroviaire critiques (CBTC), de participer au rôle de chargé de validation système (au sens de la norme EN 50126:2017 tableau G.3).

Stage : Second regard en sûreté de fonctionnement (FMDS) sur des systèmes de contrôle-commande critiques ferroviaires H/F (STAGE_SSE_SDF)

L’objectif de votre stage sera d’apporter un support aux activités de second regard (évaluation) réalisées au sein du département pour le compte de maîtres d’œuvre et/ou d’ouvrages de systèmes de contrôle-commande ferroviaire critiques (CBTC / ATS).

Stage : Pilotage de preuve formelle distribuée H/F (STAGE_PDT_S3)

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à contribuer à l’amélioration de notre solution de preuve distribuée.

Stage Optimisation d’une architecture numérique critique pour la sûreté de fonctionnement H/F (STAGE_PDT_BAHIA)

Dans le cadre de ses innovations, Systerel étudie et développe une architecture matérielle innovante d’exécution de fonctions critiques pour la sûreté de fonctionnement. Intégré(e) au Département Produits, vous aurez l’occasion de travailler sur cette architecture.

Stage : Back-to-Back Testing en boîte noire – Aix-en_Provence (STAGE_PDT_B2B_A)

Dans le cadre du développement de nos solutions de test formel, le stage vise à contribuer à l’amélioration de notre solution de back-to-back (B2B) testing.

Stage : Back-to-Back Testing en boîte noire – Paris (STAGE_PDT_B2B_P)

Dans le cadre du développement de nos solutions de test formel, le stage vise à contribuer à l’amélioration de notre solution de back-to-back (B2B) testing.

Stage : Mise en œuvre d’un solveur SMT H/F – Aix-en-Provence (STAGE_PDT_Solveur_A)

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.

Stage : Mise en œuvre d’un solveur SMT H/F – Paris (STAGE_PDT_Solveur_P)

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.