Stage : Optimisation logiciel embarqué H/F (STAGE_PDT_DEV_OPTIM) Le stage vise à contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC, dans des environnements embarqués contraints. Stage : Logiciel temps réel embarqué H/F (STAGE_PDT_DEV_ EMBARQUE) L’objectif de ce stage est de contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC, dans des environnements embarqués contraints. Stage : Validation Produit Cyber H/F (STAGE_PDT_CYBER) Intégré à l’équipe de développement Produits, vous aurez l’opportunité de participer activement aux travaux de validation logiciels et/ou carte. Stage : Démonstrateur Robotique H/F (STAGE_PDT_ROBOT) Le stage consiste à mettre en place un démonstrateur robotique basé sur des bras robotisés pilotés en OPC UA. 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 H/F (STAGE_PDT_B2B) L’objectif du stage est de réaliser la mise en œuvre du test B2B sur un API en boîte noire, c’est-à-dire sans accès ni forçage des variables internes de l’automate. Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_Solveur) L’objectif du stage est d’explorer la possibilité de réaliser du Model Checking par des solveurs de type SMT à la place ou en complément des solveurs SAT. Stage : Interface graphique d’un simulateur ferroviaire : amélioration et interfaçage H/F (STAGE_PDT_IHM) L’objectif du stage est d’explorer la possibilité d’interfacer des animateurs de modèles formels avec des représentations de plan de voie pour visualiser le fonctionnement du système de signalisation modélisé. Stage : Modélisation, implémentation et test automatique d’une signalisation de Tramway sur automate H/F (STAGE_MOP_POC) L’objectif est d’évaluer les possibilités d’implémenter de façon automatique un sous-ensemble de principes de signalisation Tramway dans un API et de réaliser des exécutions automatiques de séquences de test sur cet automate. Stage : Mise en place d’une infrastructure de test HIL H/F (STAGE_STR_LAB_HIL) L’objectif de ce stage est de mettre en place une infrastructure HIL (Hardware In the Loop). 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 : 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 : Optimisation logiciel embarqué H/F (STAGE_PDT_DEV_OPTIM) Le stage vise à contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC, dans des environnements embarqués contraints.
Stage : Logiciel temps réel embarqué H/F (STAGE_PDT_DEV_ EMBARQUE) L’objectif de ce stage est de contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC, dans des environnements embarqués contraints.
Stage : Validation Produit Cyber H/F (STAGE_PDT_CYBER) Intégré à l’équipe de développement Produits, vous aurez l’opportunité de participer activement aux travaux de validation logiciels et/ou carte.
Stage : Démonstrateur Robotique H/F (STAGE_PDT_ROBOT) Le stage consiste à mettre en place un démonstrateur robotique basé sur des bras robotisés pilotés en OPC UA.
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 H/F (STAGE_PDT_B2B) L’objectif du stage est de réaliser la mise en œuvre du test B2B sur un API en boîte noire, c’est-à-dire sans accès ni forçage des variables internes de l’automate.
Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_Solveur) L’objectif du stage est d’explorer la possibilité de réaliser du Model Checking par des solveurs de type SMT à la place ou en complément des solveurs SAT.
Stage : Interface graphique d’un simulateur ferroviaire : amélioration et interfaçage H/F (STAGE_PDT_IHM) L’objectif du stage est d’explorer la possibilité d’interfacer des animateurs de modèles formels avec des représentations de plan de voie pour visualiser le fonctionnement du système de signalisation modélisé.
Stage : Modélisation, implémentation et test automatique d’une signalisation de Tramway sur automate H/F (STAGE_MOP_POC) L’objectif est d’évaluer les possibilités d’implémenter de façon automatique un sous-ensemble de principes de signalisation Tramway dans un API et de réaliser des exécutions automatiques de séquences de test sur cet automate.
Stage : Mise en place d’une infrastructure de test HIL H/F (STAGE_STR_LAB_HIL) L’objectif de ce stage est de mettre en place une infrastructure HIL (Hardware In the Loop).
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 : 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).