CDI

Modélisation formelle de protocole de communication : Application au rétro-engineering de systèmes s

Publié il y a 2 mois par W Electrique France SAS
Metz, Grand Est
Je postule

Je crée mon compte

Je souhaite que mon CV soit visible pour les recruteurs afin qu'ils puissent me contacter directement

Description du poste

Requisition Number: 6458 Company: W Electrique France SAS Location:

Metz, 57, FR, 57000

Westinghouse Electric Company (WEC), acteur mondial majeur du nucléaire, a pour filiale Westinghouse Electrique France (WEF) qui comprend trois unités dont une basée à Metz spécialisée dans l’I&C nucléaire avec par exemple le projet Contronic E : le plus gros Système Numérique de Contrôle-Commande (SNCC) du palier nucléaire 1450MW (environ 600 armoires), le projet DUS (SNCC du palier 1300MW).

Dans le cadre de notre contrat de Maintien en Condition Opérationnelle du Contronic E, notre client EDF nous demande d’être capable de re-spécifier à posteriori les interfaces entre le Contronic E et les autres systèmes de la salle de commande de la centrale.

Nous disposons de l’intégralité du code (Assembleur A86, C, Schémas électroniques des cartes) et de la documentation (en allemand et anglais) du SNCC dont nous assurons la pérennité à Metz.

A horizon de 5 ans, nous souhaitons nous doter d’une procédure rigoureuse basée sur une modélisation formelle de ce code permettant d’une part la conception d’un simulateur et d’autre part la vérification de spécification ( « Model Checking ») des protocoles redéveloppés aux interfaces. Ceci constitue le cœur du sujet du contrat CIFRE.

Les centrales EDF concernées sont Chooz et Civaux.

Le/la candidat(e) sera formé(e) aux habilitations nucléaires et électriques lui permettant d’accéder aux centrales. Les travaux sur sites s’exécutent dans les bâtiments électriques, hors zone contrôlée (pas d’exposition aux radiations).

Compétences :

– Formation bac+5 en Electronique – Automatisme,

– Allemand et anglais requis (minimum niveau B2),

– Expérience dans l’utilisation d’outil de Model Checking d’Automate Temporisés (de type UPPAAL)

– Expérience dans le développement de simulateur (de type Matlab)

– Expérience de retro-engineering de carte électronique des années 1990 serait un plus.

Comportemental:

– Bonne expression orale,

– Capacité à rédiger des rapports clairs et précis en Français,

– Organisé et méthodique,

– Aptitude à travailler en équipe,

– Respecte les procédures,

– Attitude interrogative, pro-actif,

– Soif d’acquérir des compétences sur des systèmes stratégiques et réglementés par la Loi de Programmation Militaire.

Employment opportunities may require access to information which is subject to the export control regulations of the United States. Hiring decisions for such positions are required by law to be made in compliance with these regulations. Applicants for employment opportunities in other countries must be able to meet the comparable export control requirements of that country and of the United States.

Job Segment: Application Engineering, Developer, Engineer, Engineering, Technology

Il y a 2 mois
Je postule

Je crée mon compte

Je souhaite que mon CV soit visible pour les recruteurs afin qu'ils puissent me contacter directement