Formalisation mathématique d'une spécification fonctionnelle et technique d'un positionneur de vanne F/H Groupe Talents Handicap

Contexte

Dans les installations nucléaires de production d'électricité d'EDF, il y a un millier d'actionneurs par tranche tout palier (900MWe, 1300MWe, 1450MWe/N4 et EPR). Ce sont des robinets pneumatiques (TOR (Tout Ou Rien) et réglants) qui sont pilotés par des positionneurs numériques. Ceux-ci sont des boîtes « noires » dont les fonctionnalités sont surdimmensionnées et leur évolution technologique (notamment leur micro-logiciel embarqué) n'est pas maîtrisable par EDF car elle dépend largement du marché du procédé continu (en particulier la pétro-chimie) qui est adressé majoritairement par les fabricants. Le domaine du procédé nucléaire ne représente qu'une faible part pour les fabricants de positionneurs. Ces derniers ont tous choisi d'utiliser la technologie numérique dont la complexité logicielle induit un coût important pour la Qualification Fonctionnelle Renforcée (QFR) de ces positionneurs par EDF.

EDF R&D a engagé un travail de spécification fonctionnelle et technique d'un positionneur numérique de robinet pneumatique et a commencé à réaliser une maquette fonctionnelle qui est réalisée entièrement en technologie FPGA et non plus par un micro-contrôleur.

Mission

Le(la) stagiaire travaillera au sein des équipes d'ingénieurs chercheurs de la R&D sous la responsabilité de Tuan Dang, ingénieur chercheur au Département PRISME à EDF Lab Chatou et Christophe Merieux, ingénieur chercheur expert en instrumentation robinetterie du Département MMC à EDF Lab Les Renardières, pour transformer/traduire une spécification fonctionnelle et technique d'un positionneur numérique en une spécification mathématique (formelle) dans un langage comme TLA+ ou FRET et ses outils « Open Source » dédiés pour mettre en œuvre une démarche de Vérification et Validation formelle des fonctionnalités qui ont été implémentées dans la maquette.

Pour les besoins de la mission, le(la)stagiaire sera amené(e) à participer à des réunions de travail avec des ingénieurs chercheurs de la R&D . Pour cela il(elle) aura à se déplacer ponctuellement en région Parisienne tout en étant accompagné(e) par l'équipe projet.

La mission se déroulera au sein du Département PRISME, sur le site EDF Lab Chatou, 6 Quai Watier, 78400 Chatou.

Profil souhaité :

· Stage d'ingénieur de 3ème année avec une orientation mathématique et informatique théorique

· Réel intérêt pour le domaine de l'énergie ou pour le découvrir

· Curiosité et ouverture

· Autonomie et force de proposition

· Excellent relationnel, aisance à l'oral et aptitude au travail collaboratif au sein des équipes d'ingénieurs chercheurs et les futurs utilisateurs du dispositif.

· Capacité créative

· Esprit de synthèse pour présenter l'avancement.

Début de la mission de 6 mois :

Idéalement à partir de mi-février 2027.

La date de début de stage demeure négociable entre mars et juin 2027 (à discuter ensemble).

Envoyer votre candidature

aux adresses e-mail suivantes : ***, *** et ***

Votre candidature doit comporter les informations suivantes :

· E-mail et numéro de téléphone

· Lettre de motivation

· Curriculum vitae

Le stage est rémunéré selon une grille définie par EDF.