Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
2026-40246
Au sein du CEA, l'Institut LIST dédie ses activités aux systèmes numériques intelligents avec des programmes de R&D dans le manufacturing avancé, les systèmes embarqués, et l'intelligence ambiante. Nous accompagnons nos partenaires dans les domaines des transports, de l'industrie, de l'énergie, de la santé, de la sécurité et de la défense, pour transférer les technologies issues de l'innovation et pour améliorer leur compétitivité.
Le Laboratoire Environnement de Conception et Architecture (LECA), au sein du Département Systèmes et Circuits Intégrés Numériques (DSCIN), est une équipe de recherche technologique pluridisciplinaire d'experts en conception d'IP matérielle et en outils de conception. Les outils de simulation développés se basent sur différents types de modèles avec différents niveaux d'abstraction pour couvrir les besoins de co-conception et co-validation matériel/logiciel. Ces modèles sont conçus manuellement à travers une analyse approfondie des spécifications (fiches techniques), rendant le processus fastidieux et sujet aux erreurs.
Technologies micro et nano
CDD
Thèse de doctorat: Génération assistée par LLM de modèles matériels fonctionnels et formels H/F
Non Cadre
36
« Rejoignez le CEA pour donner du sens à votre activité, mener ou soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. »
EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ?
Nous cherchons à pourvoir une offre de thèse. Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91). Ce poste est à pourvoir pour septembre 2026.
Les systèmes matériels modernes, tels que les processeurs RISC-V, les accélérateurs et les systèmes sur puce hétérogènes, reposent fortement sur des simulateurs fonctionnels et des modèles de vérification formelle afin de garantir la correction, la fiabilité et la sécurité. Toutefois, la construction et la maintenance manuelles de ces modèles à partir des spécifications de conception sont lentes et deviennent de plus en plus complexes à mesure que les architectures se complexifient. Cet effort manuel constitue aujourd’hui un goulet d’étranglement majeur dans les flots contemporains de conception et de vérification matérielles.
L’objectif de cette thèse est de développer une méthodologie unifiée, pilotée par l’IA, pour la co-génération automatique de modèles matériels fonctionnels et formels directement à partir des spécifications de conception. Les travaux porteront sur la génération de modèles fonctionnels exécutables, tels que des simulateurs au niveau jeu d’instructions, ainsi que de modèles de vérification formelle capturant précisément la sémantique architecturale.
La thèse développera des chaînes de génération basées sur les LLMs, combinant l’apprentissage par renforcement avec des boucles de retour pilotées par les outils, afin d’affiner itérativement une représentation intermédiaire inspirée des prompts et de guider la génération des modèles vers la correction, la cohérence et le succès de la vérification formelle. L’objectif à long terme est de proposer un environnement de co-génération correcte par construction permettant de réduire significativement l’effort de modélisation manuelle tout en assurant un fort alignement entre les vues fonctionnelles et formelles de l’architecture.
La méthodologie développée sera évaluée sur des cas d’étude matériels réalistes et open-source, avec un accent particulier sur les architectures RISC-V, leurs extensions et les accélérateurs matériels. Les résultats expérimentaux permettront d’évaluer la précision des modèles générés, leur cohérence mutuelle, leur capacité à passer à l’échelle, ainsi que les gains de productivité obtenus par rapport aux approches de modélisation manuelle.
Retrouvez cette offre sur le site de l'INSTN :
https://instn.cea.fr/these/generation-assistee-par-llm-de-modeles-materiels-fonctionnels-et-formels
#CEA-List ; #PhD ; #Researcher ; #Chercheur
Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes handicapées, cet emploi est ouvert à toutes et à tous. Le CEA propose des aménagements et/ou des possibilités d'organisation pour l'inclusion des travailleurs handicapés.
Saclay
France, Ile-de-France, Essonne (91)
Saclay
01/09/2026
The CEA is the French Alternative Energies and Atomic Energy Commission ("Commissariat à l'énergie atomique et aux énergies alternatives"). It is a public body established in October 1945 by General de Gaulle. A leader in research, development and innovation, the CEA mission statement has two main objectives: To become the leading technological research organization in Europe and to ensure that the nuclear deterrent remains effective in the future.
The CEA is active in four main areas: low-carbon energies, defense and security, information technologies and health technologies. In each of these fields, the CEA maintains a cross-disciplinary culture of engineers and researchers, building on the synergies between fundamental and technological research.
The civilian programs of the CEA received 49% of their funding from the French government, and 30% from external sources (partner companies and the European Union).
The CEA had a budget of 4,3 billion euros.
The CEA is based in ten research centers in France, each specializing in specific fields. The laboratories are located in the Paris region, the Rhône-Alpes, the Rhône valley, the Provence-Alpes-Côte d'Azur region, Aquitaine, Central France and Burgundy. The CEA benefits from the strong regional identities of these laboratories and the partnerships forged with other research centers, local authorities and universities.
