Doctorant

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

Unité de Recherche

Le Lab‑STICC (Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance) est une unité mixte de recherche (UMR 6285) multi‑tutelle réunissant le CNRS, l’IMT Atlantique, l’UBO, l’UBS, Bretagne INP et ENSTA. Il regroupe près de 700 personnes dont 300 enseignants‑chercheurs et ses activités couvrent la science des matériaux, la science de la connaissance et s’organisent autour de neuf pôles scientifiques.

Sujet

De l'intention à l'implémentation : SpecIA, un langage de spécification agile pour l'ingénierie des systèmes embarqués.

Contexte de la thèse

Le sujet s'inscrit dans le cadre du projet DyNNamo financé par l’Agence Nationale de la Recherche (ANR). Il réunit les équipes des laboratoires IETR et Lab‑STICC. DyNNamo vise à étudier et mettre en œuvre des réseaux de neurones dynamiques dans des dispositifs embarqués, avec un cas d’étude portant sur l’aide au handicap et l’amplification des capacités d'un fauteuil roulant préexistant doté de capteurs, actionneurs et d’une architecture embarquée.

Problématique adressée

La conception de tels systèmes embarqués pose des enjeux technico‑organisationnels : regrouper en un tout cohérent des informations disparates pour étudier le système à tout instant, conciliant aspects fonctionnels, non‑fonctionnels et scénarios d’usage. La thèse vise à imaginer et prototyper un nouveau langage de spécification pour capturer les intentions de l’ingénieur, couplé à un cas d’étude, tout en pouvant servir de passerelle vers des IA génératives.

Missions principales

• É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.

Équipe d'accueil

La thèse se déroulera au sein du laboratoire Lab‑STICC (UMR CNRS) avec un co‑encadrement à l'IETR (UMR CNRS). L'école doctorale est l’ED SPIN (Sciences pour l'ingénieur et le numérique).

Pré-requis scientifiques et techniques

Formation : Master recherche ou diplôme d’ingénieur (Bac+5) en Informatique ou Électronique avec forte appétence en Informatique.

Compétences techniques

• Langages et Compilation.
• Model‑driven engineering.
• Qualités personnelles : autonomie, rigueur scientifique, esprit de synthèse.

Lieu de travail

ENSTA Campus de Brest : 2 rue François Verny, 29806 Brest Cedex 9.

Démarrage de la thèse

Octobre 2026.

Contact

Jean-Christophe Le Lann ([e-mail]) et Sébastien Le Nours ([e-mail]).