Le stage se déroule au sein du bureau d'analyse des systèmes électriques et de contrôle-commande (BASEC) du service des systèmes et des risques (SSyR) de la direction de l'expertise, de la recherche et de l'appui à l'autorité technique (DERT) de l'ASNR. Ce bureau expertise en particulier les systèmes de contrôle-commande critiques comme le système de protection d'une centrale nucléaire. Ces systèmes peuvent être numériques, i.e. à base de processeurs exécutant un logiciel, ou à base de relais. Dans ce cadre, le bureau est amené à étudier le logiciel applicatif des systèmes numériques ou l'implantation des schémas de relayage afin d'évaluer leur conformité avec leurs exigences générales, dans tous les cas possibles de fonctionnement.

L'objectif est, dans un premier temps, de définir des propriétés de sûreté sur un exemple représentatif de logiciels critiques et sur une partie modélisant du logiciel applicatif d'un calculateur du système de protection d'une centrale nucléaire afin, dans un deuxième temps, de pouvoir les démontrer automatiquement à partir d'outils spécifiques (e.g. prouveurs GATeL et Kind-2) utilisés au sein du bureau sur des échantillons. Les propriétés à démontrer sur le logiciel ou le relayage seront écrites dans le langage déclaratif de flots de données, le Lustre (à la base de l'outil SCADE), qui est adapté à la fois aux besoins des automaticiens et à la fois à ceux des outils de preuve. Suivant l'avancement des travaux sur le logiciel, il sera possible d'étendre cette étude à un relayage critique.

elève BAC+5 ou de 3ème année d'école d'ingénieur avec une bonne composante de programmation informatique

Compétences requises :
Programmation de logiciels - Environnement Linux - Scripts - La programmation de type flot de données serait un plus.

La diversité est une des composantes de la politique RSE, RH et Qualité de Vie au Travail à l’ASNR. Par conséquent, nous accordons la même considération à toutes les candidatures, sans discrimination, pour inclure tous les talents.
Quelles que soient les différences, nous souhaitons attirer, intégrer et fidéliser nos candidats et nos collaborateurs au sein d’un environnement de travail inclusif. L'ASNR conduit une politique active depuis de nombreuses années en faveur de l'égalité des chances au travail et l'emploi des personnes handicapées. Si vous êtes en situation de handicap, n'hésitez pas à nous faire part de vos éventuels besoins spécifiques afin que nous puissions les prendre en compte.

Conformément à l'article L114-1 du code de la sécurité intérieure, le candidat est informé qu'une enquête administrative, destinée à vérifier que son comportement n'est pas incompatible avec l'exercice des fonctions ou des missions envisagées, sera réalisée préalablement à l'affectation ou l'embauche.

D'autre part, l'ASNR en tant qu'autorité administrative indépendante est soumise au code général de la fonction publique. Ses personnels sont notamment tenus à l'obligation de neutralité et au respect du principe de laïcité.