Stage : Développement cryptographique H/F (STAGE_PDT_GDS) Vous serez encadré par le responsable du département Produits et des experts qui vous formeront aux grands principes de l’OPC UA, ses fonctionnalités de cybersécurité et au développement temps réel embarqué. Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_ Solveur_SMT) 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 : Développement en Java d’un éditeur avec le protocole LSP H/F (STAGE_MOP_LSP) Ce sera pour vous l’occasion de découvrir le protocole LSP et d’apprendre à en tirer le meilleur profit dans un cadre concret. Stage : Vérification, validation et évaluation de systèmes ferroviaires H/F (STAGE_SSE_EVAL) Vous découvrirez les différences entre les activités de vérification, validation et évaluation en réalisant ces activités sur des systèmes de sécurité SIL4 de signalisation et de contrôle-commande ferroviaires Stage : Réalisation d’études de sûreté de fonctionnement sur des systèmes ferroviaires H/F (STAGE_SSE_SDF) Vous serez en charge de réaliser des analyses de sécurité sur une ou plusieurs fonction(s) donnée(s) pour des projets innovants et pour mettre en œuvre des études de cas de formations.
Stage : Développement cryptographique H/F (STAGE_PDT_GDS) Vous serez encadré par le responsable du département Produits et des experts qui vous formeront aux grands principes de l’OPC UA, ses fonctionnalités de cybersécurité et au développement temps réel embarqué.
Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_ Solveur_SMT) 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 : Développement en Java d’un éditeur avec le protocole LSP H/F (STAGE_MOP_LSP) Ce sera pour vous l’occasion de découvrir le protocole LSP et d’apprendre à en tirer le meilleur profit dans un cadre concret.
Stage : Vérification, validation et évaluation de systèmes ferroviaires H/F (STAGE_SSE_EVAL) Vous découvrirez les différences entre les activités de vérification, validation et évaluation en réalisant ces activités sur des systèmes de sécurité SIL4 de signalisation et de contrôle-commande ferroviaires
Stage : Réalisation d’études de sûreté de fonctionnement sur des systèmes ferroviaires H/F (STAGE_SSE_SDF) Vous serez en charge de réaliser des analyses de sécurité sur une ou plusieurs fonction(s) donnée(s) pour des projets innovants et pour mettre en œuvre des études de cas de formations.
