Stage d'évaluation des logiciels de contrôle-commande

IRSN; Fontenay-aux-Roses; On-site; EUR 11,000 - 17,000; Part time

Job summary

Le stage d'évaluation des logiciels de contrôle-commande est proposé par l'Institut de radioprotection et de sûreté nucléaire (IRSN) à Fontenay-aux-Roses. Vous travaillerez au sein du BASEC, dans le SSyR et le service DERT, pour étudier des logiciels critiques utilisés dans les systèmes de protection des centrales nucléaires.

L'objectif est de définir des propriétés de sûreté sur un exemple représentatif et de démontrer ces propriétés avec des outils de preuve (GATeL et Kind-2) via le langage

Qualifications

• Élève BAC+5 ou étudiant en 3e année d'école d'ingénieur avec forte programmation.
• Compétences requises : programmation de logiciels, Linux, scripts.
• La programmation de type flot de données serait un plus.

Responsibilities

• Étudier et définir des propriétés de sûreté sur des logiciels critiques.
• Évaluer le logiciel applicatif et son relayage avec des outils de preuve (GATeL, Kind-2).

Skills

Programmation de logiciels

Environnement Linux

Scripts

Flot de données

Education

BAC+5

3e année ingénieur

Tools

Lustre

SCADE

GATeL

Kind-2

Job description

Identifiant (email, de type [e-mail])

Mots clés (ex : ingénieur commercial Paris)

Stage d'évaluation des logiciels de contrôle-commande

Description du poste

Intitulé du poste

Stage d'évaluation des logiciels de contrôle-commande

Type de contrat

Convention de stage

Non-Cadre ou Catégorie B

Disponibilité du poste

Fontenay-aux-Roses

Environnement / Organisation / Contexte

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.

Profil recherché

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.

Télétravail

Diversité

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é.

Localisation du poste

Localisation du poste

Critères candidat

Français (4- Langue natale)

Informations générales

Entité de rattachement

L'Autorité de sûreté nucléaire et de radioprotection est une autorité administrative indépendante créée par la loi du 21 mai 2024 relative à l'organisation de la gouvernance de la sûreté nucléaire et de la radioprotection pour répondre au défi de la relance de la filière nucléaire.

L'Autorité de sûreté nucléaire et de radioprotection est une autorité administrative indépendante créée par la loi du 21 mai 2024 relative à l'organisation de la gouvernance de la sûreté nucléaire et de la radioprotection pour répondre au défi de la relance de la filière nucléaire.
Elle assure, au nom de l'État, le contrôle des activités nucléaires civiles en France et remplit des missions d'expertise, de recherche, de formation et d'information des publics. L'ASNR est composée de fonctionnaires, d'agents de droit public et de salariés de droit privé.
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é.