PhD Candidate: SpecIA for Embedded Systems

ENSTA; Brest; Sur place; EUR 20 000 - 23 000; Plein temps

Résumé du poste

ENSTA recherche un doctorant pour une thèse à commencer en octobre 2026, axée sur SpecIA, un langage de spécification agile pour les systèmes embarqués. Les missions incluent l'étude bibliographique, la conception logicielle du langage et son application pratique.

Le candidat doit avoir un Master en Informatique ou Électronique, avec des compétences en langages et compilation. Le travail se déroulera au Campus de Brest dans un environnement de recherche dynamique.

Qualifications

• Formation : Master recherche ou diplôme d’ingénieur (Bac+5) en Informatique ou Électronique avec forte appétence en Informatique.
• Autonomie, rigueur scientifique, esprit de synthèse requis.

Responsabilités

• Étude bibliographique : langages et techniques formelles pour la modélisation de systèmes embarqués.
• Conception logicielle du langage (compilateur, interpréteur).
• Mise à l'épreuve du langage sur le cas d'étude.

Connaissances

Langages et Compilation

Model-driven engineering

Autonomie

Rigueur scientifique

Esprit de synthèse

Formation

Master recherche ou diplôme d'ingénieur (Bac+5) en Informatique ou Électronique

Description du poste

ENSTA recherche un doctorant pour une thèse à commencer en octobre 2026, axée sur SpecIA, un langage de spécification agile pour les systèmes embarqués. Les missions incluent l'étude bibliographique, la conception logicielle du langage et son application pratique.

Le candidat doit avoir un Master en Informatique ou Électronique, avec des compétences en langages et compilation. Le travail se déroulera au Campus de Brest dans un environnement de recherche dynamique.