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