Stage : IA, Aide à la formalisation depuis le langage naturel (MOP_IA) H/F L’objectif de ce stage est de mettre à disposition des utilisateurs un pipeline IA qui permet de les assister dans le travail de formalisation. Stage : Développement d’une IHM d’un produit de validation de données (MOP_IHM) H/F Vous aurez pour mission de développer une nouvelle IHM du produit de validation de données basée sur Visual Studio Code (VS Code) Stage : Impact sur la sûreté de fonctionnement de l’usage de l’IA dans le développement de systèmes critiques (SSE_SDF_IA) H/F Vous découvrirez les différentes activités de sûreté de fonctionnement liées aux développements de fonctions complexes de systèmes de sécurité que ce soit pour le domaine ferroviaire ou le domaine industriel. Stage : Développement d’un framework de test automatique réutilisable (STR_SIMULATEUR) H/F L’objectif de ce stage est de développer un environnement de simulation configurable. Stage : Évaluation et agrégation d’outils d’analyse de code (STR_OUTIL_ANALYSE) H/F L’objectif de ce stage est de mettre à disposition des équipes projet Systerel un ensemble d’outils d’analyse de code source. Stage : Sécurisation distributions Linux embarquées (STR_LINUX) H/F Ce stage vise à étudier et mettre en œuvre les éléments de sécurisation de distributions Linux pour des cibles embarquées contraintes. Stage : Logiciel temps réel embarqué (PDT_DEV_EMBARQUE) H/F 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 : Développement d’un outil de gestion de configuration cyber (PDT_GDS) H/F L’objectif de ce stage est de travailler sur le développement d’un GDS (Global Discovery Server) OPC UA. Un GDS OPC UA est un composant clé dans l’architecture OPC UA qui facilite la découverte et la gestion des serveurs OPC UA au sein d’un réseau industriel. Stage : Preuve formelle d’un logiciel B (PDT_PREUVE) H/F L’objectif de ce stage est de contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC. Vous pourrez contribuer aux activités de preuve formelles associées au développement de ce logiciel. Stage : IA, Génération de lemmes (PDT_LEMMES) H/F L’objectif de ce stage est de mettre à disposition des utilisateurs un pipeline IA qui les assiste dans le travail de recherche des Lemmes de Renforcement de l’Induction (LRI) en proposant des lemmes candidats. Stage : Packaging logiciel (PDT_PACKAGING) H/F L’objectif de ce stage est de contribuer à l’industrialisation d’une Stack OPC UA open-source, S2OPC. Stage : Optimisation logiciel embarqué (PDT_DEV_OPTIM) H/F Le stage vise à contribuer à l’industrialisation d’une stack OPC UA Open-source, S2OPC. Stage : Automatisation des processus de programmation et de validation pour Automate Programmable de Sécurité (PDT_AUTOMATE) H/F L’objectif de ce stage est de participer à la construction d’une preuve de concept d’outils visant à moderniser et renforcer nos processus de programmation d’Automates Programmables de Sécurité (APS).
Stage : IA, Aide à la formalisation depuis le langage naturel (MOP_IA) H/F L’objectif de ce stage est de mettre à disposition des utilisateurs un pipeline IA qui permet de les assister dans le travail de formalisation.
Stage : Développement d’une IHM d’un produit de validation de données (MOP_IHM) H/F Vous aurez pour mission de développer une nouvelle IHM du produit de validation de données basée sur Visual Studio Code (VS Code)
Stage : Impact sur la sûreté de fonctionnement de l’usage de l’IA dans le développement de systèmes critiques (SSE_SDF_IA) H/F Vous découvrirez les différentes activités de sûreté de fonctionnement liées aux développements de fonctions complexes de systèmes de sécurité que ce soit pour le domaine ferroviaire ou le domaine industriel.
Stage : Développement d’un framework de test automatique réutilisable (STR_SIMULATEUR) H/F L’objectif de ce stage est de développer un environnement de simulation configurable.
Stage : Évaluation et agrégation d’outils d’analyse de code (STR_OUTIL_ANALYSE) H/F L’objectif de ce stage est de mettre à disposition des équipes projet Systerel un ensemble d’outils d’analyse de code source.
Stage : Sécurisation distributions Linux embarquées (STR_LINUX) H/F Ce stage vise à étudier et mettre en œuvre les éléments de sécurisation de distributions Linux pour des cibles embarquées contraintes.
Stage : Logiciel temps réel embarqué (PDT_DEV_EMBARQUE) H/F 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 : Développement d’un outil de gestion de configuration cyber (PDT_GDS) H/F L’objectif de ce stage est de travailler sur le développement d’un GDS (Global Discovery Server) OPC UA. Un GDS OPC UA est un composant clé dans l’architecture OPC UA qui facilite la découverte et la gestion des serveurs OPC UA au sein d’un réseau industriel.
Stage : Preuve formelle d’un logiciel B (PDT_PREUVE) H/F L’objectif de ce stage est de contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC. Vous pourrez contribuer aux activités de preuve formelles associées au développement de ce logiciel.
Stage : IA, Génération de lemmes (PDT_LEMMES) H/F L’objectif de ce stage est de mettre à disposition des utilisateurs un pipeline IA qui les assiste dans le travail de recherche des Lemmes de Renforcement de l’Induction (LRI) en proposant des lemmes candidats.
Stage : Packaging logiciel (PDT_PACKAGING) H/F L’objectif de ce stage est de contribuer à l’industrialisation d’une Stack OPC UA open-source, S2OPC.
Stage : Optimisation logiciel embarqué (PDT_DEV_OPTIM) H/F Le stage vise à contribuer à l’industrialisation d’une stack OPC UA Open-source, S2OPC.
Stage : Automatisation des processus de programmation et de validation pour Automate Programmable de Sécurité (PDT_AUTOMATE) H/F L’objectif de ce stage est de participer à la construction d’une preuve de concept d’outils visant à moderniser et renforcer nos processus de programmation d’Automates Programmables de Sécurité (APS).
