Stage: Formalisation Mathématique d'un Positionneur de Vanne

EDF R&D propose un stage d’ingénieur de 3e année sur la formalisation mathématique d’une spécification fonctionnelle et technique d’un positionneur numérique de robinet pneumatique. Le stagiaire travaillera dans le Département PRISME, EDF Lab Chatou, et utilisera des outils formels comme TLA+ ou FRET pour la vérification et la validation.

Le poste exige une orientation mathématique et informatique théorique, avec des déplacements ponctuels en région parisienne et une collaboration étroite avec