0e8b3c742bff14455bf72e31a8ebec6b.png

Découvrez EDF

  • Energie

Rejoindre EDF, c’est intégrer un collectif où chaque voix compte. Où chaque différence enrichit. Où vous pouvez contribuer, évoluer, et être pleinement vous-même. Parce qu’une entreprise inclusive est une entreprise qui avance, pour toutes et tous.

Formalisation mathématique d'une spécification fonctionnelle et technique d'un positionneur de vanne f/h

  • Energie
  • Expérience non précisée
  • CDI
  • Selon profil
  • Bac + 3 (Instrumentation et systèmes numériques en nucléaire)
  • Versailles (78000)
  • ref : 2026-180730

L'essentiel du poste

Missions
  • Traduire la spécification fonctionnelle en spécification mathématique formelle (TLA+ ou FRET)
  • Contribuer à la vérification et validation formelle des fonctionnalités de la maquette FPGA
  • Participer à des réunions techniques avec les ingénieurs chercheurs et utilisateurs
  • Collaborer au développement et à la mise en œuvre de la démarche formelle sur la maquette FPGA
Compétences attendues
  • Formalisation mathématique
  • Spécification fonctionnelle
  • Vérification et Validation formelle
  • Synthèse et présentation
  • TLA+
  • FRET
  • FPGA
Qualités recherchées
  • Autonomie
  • Esprit de synthèse
  • Capacité créative
À savoir avant de postuler
  • Déplacements ponctuels
Mentionné dans l'annonce Déduit par l'IA
Vous correspondez si
Stage d’ingénieur 3e année avec intérêt énergie, autonomie et bon relationnel.
Résumé généré par l'IA -
peut contenir des inexactitudes

Offre proposée par EDF, sur la plateforme Talents Handicap, pour l'emploi des personnes en situation de handicap (RQTH ou équivalent).

Le poste détaillé

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 : marie-astrid.de-muynck@edf.fr,  tuan.dang@edf.fr et christophe.merieux@edf.fr  

 

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.


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 : marie-astrid.de-muynck@edf.fr,  tuan.dang@edf.fr et christophe.merieux@edf.fr  

 

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.