Doctorant

ENSTA est un établissement d’enseignement supérieur et de recherche sous tutelle du ministère des Armées. L’école a pour mission la formation d’élèves ingénieurs civils et militaires, dont les ingénieurs de l'armement et les ingénieurs des études et techniques de l'armement, ainsi que des cadres et docteurs hautement qualifiés pour les secteurs public et privé, en particulier dans les domaines de la défense et de la sécurité, des transports, de l'énergie, des activités maritimes, du numérique et des technologies de pointe.

ENSTA accompagne par sa recherche, son innovation et son offre de formation la transformation des grands secteurs stratégiques nationaux répondant ainsi aux enjeux de souveraineté nationale. Elle dispose de 6 unités de formation et de recherche (UFR) qui mènent une recherche appliquée en relation étroite avec l’industrie.

ENSTA est membre fondateur de l’Institut Polytechnique de Paris (IP Paris). Dans le cadre d’IP Paris, l’école participe aux activités des centres interdisciplinaires notamment du centre interdisciplinaire d'études pour la Défense et la Sécurité (CIEDS, soutenu par le ministère des armées et l’agence de l’innovation de défense (AID)). Elle est à l’origine de la création du Centre interdisciplinaire Mers & Océans, inauguré en janvier 2025. Des chercheurs de l’école travaillent également en collaboration dans le cadre d'études portées par les centres Hi-Paris, lauréat en 2024 IA Cluster, E4C ou E4H notamment.

ENSTA résulte de la fusion le 1er janvier 2025 d’ENSTA Paris et d’ENSTA Bretagne. Son siège est situé à Palaiseau (91), sur le campus de Paris-Saclay et elle a un autre campus à Brest. Elle met en place de nouvelles formations d’ingénieur sur ses deux campus (Paris-Saclay et Brest) à la rentrée académique 2026.

Rejoindre l'école, c'est intégrer un établissement engagé pour la parité et l'égalité professionnelle, la diversité et l'accompagnement de ses agents en situation de handicap, dès le recrutement et tout au long de la carrière. Afin de préserver le bien-être au travail, l'école mène une politique active en matière de conditions de travail, reposant notamment sur un juste équilibre entre vie personnelle et vie professionnelle.

Le/la titulaire du poste sera affecté au sein de l’Unité de Formation et de Recherche Sciences de l’Information et de l’Informatique (UFR S2I). Sur les campus de Paris-Saclay et Brest, l’UFR S2I compte une soixantaine d’enseignants chercheurs, une centaine de doctorants/post-doctorants ainsi que plusieurs personnels techniques (ingénieurs, techniciens) et moyens expérimentaux importants.

Unite de Recherche : Lab-STICC UMR CNRS6285

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-tutelles (CNRS, IMT Atlantique, UBO, UBS, Bretagne INP, ENSTA)

Le Lab-STICC comporte près de 700 personnes, dont environ 300 enseignants-chercheurs et chercheurs. Il regroupe des compétences de très haut niveau allant de la science des matériaux aux sciences de la connaissance. Le laboratoire est organisé en 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 le la Recherche (ANR). Il regroupe différentes équipes des deux grands laboratoires nationaux que sont l’IETR et le LabSTICC. Le projet DyNNamo vise à étudier et mettre en œuvre un nouveau type de réseaux de neurones, dits dynamiques, dans des dispositifs embarqués : le cas d’étude porte sur l’aide au handicap et plus précisément sur l’augmentation des capacités d’un fauteuil roulant pré-existant, organisé autour d’un systeme embarqué doté de différents capteurs, actionneurs et éléments de calcul. Ce type d’intelligence artificielle doit permettre à terme une meilleure prise en compte de situations de vie très variées dans le quotidien de la personne en situation de handicap.

 Problématique adressée : 

La conception de tels systèmes embarqués présente différentes problématiques technico-organisationnelles récurrentes : dans les phases amont de l’ingénierie, il est en particulier nécessaire de regrouper en un tout cohérent un ensemble d’informations initialement disparates ou incomplètes, et d’être en mesure, à tout instant, d’étudier les propriétés du système en devenir. Ces informations couvrent à la fois des aspects fonctionnels (présence de calculs dédiés), non-fonctionnels (comme la consommation électrique) ainsi que des scenario d’usage déterminants pour la pertinence du futur système à concevoir. Ces étapes de spécification amont doivent permettre de guider et consolider toutes les étapes aval de réalisation du produit final. En particulier, elles doivent servir de modèle de référence lors des différentes tâches de vérifications accompagnant le flot de conception. Ces préoccupations sont au cœur de l’Ingénierie Système, qui structure les projets d’envergure comme ceux envisagés historiquement dans le domaine des transports (avionique, ferroviaire), de l’énergie (nucléaire), etc. La pratique de l’Ingénierie Système et les technologies logicielles qui lui sont associées traditionnellement peinent toutefois à s’imposer à des échelles plus modestes et dans des équipes plus resserrées.

L’objectif principal de cette thèse est d’imaginer et de prototyper un nouveau langage de spécification facilitant la capture des intentions de l’ingénieur (description d’architecture et/ou du comportement attendu, etc.), puis d’en illustrer une exploitation simplifiée dans le cas d’étude couvert par le projet DyNNamo. Notons enfin que ce nouveau langage pourrait lui-même servir de passerelle vers des IA génératives (LLM : Large Language Model) ou tout autre forme d’apprentissage, orienté vers la conception des systèmes embarqués.

Missions principales :

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

Equipe d'accueil :

La thèse se déroulera au sein du laboratoire LabSTICC (UMR CNRS, équipes ARCAD "architectures matérielles et outils de CAO") 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 Electronique 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 (jean-christophe.le_lann@ensta.fr) et Sébastien Le Nours (sebastien.le-nours@univ-nantes.fr)