Stage : Évaluation de systèmes de contrôle-commande critiques ferroviaires H/F (Aix-en-Provence) 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 : Pilotage de preuve formelle distribuée H/F (Aix-en-Provence ou Toulouse) 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 : Évaluation de systèmes de contrôle-commande critiques ferroviaires H/F (Aix-en-Provence) 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 : Pilotage de preuve formelle distribuée H/F (Aix-en-Provence ou Toulouse) 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.
