{"id":12550,"date":"2026-05-27T09:25:12","date_gmt":"2026-05-27T07:25:12","guid":{"rendered":"https:\/\/talentimpulse.cea.fr\/offre-emploi\/these-de-doctorat-generation-assistee-par-llm-de-modeles-materiels-fonctionnels-et-formels-h-f\/"},"modified":"2026-06-13T09:00:08","modified_gmt":"2026-06-13T07:00:08","slug":"these-de-doctorat-generation-assistee-par-llm-de-modeles-materiels-fonctionnels-et-formels-h-f","status":"publish","type":"offre-emploi","link":"https:\/\/talentimpulse.cea.fr\/en\/offre-emploi\/these-de-doctorat-generation-assistee-par-llm-de-modeles-materiels-fonctionnels-et-formels-h-f\/","title":{"rendered":"Th\u00e8se de doctorat: G\u00e9n\u00e9ration assist\u00e9e par LLM de mod\u00e8les mat\u00e9riels fonctionnels et formels H\/F"},"content":{"rendered":"<p>\u00ab Rejoignez le CEA pour donner du sens \u00e0 votre activit\u00e9, mener ou soutenir des projets de R&amp;D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosit\u00e9. \u00bb EN SYNTHESE, QU\u2019EST-CE QUE NOUS VOUS PROPOSONS ? Nous cherchons \u00e0 pourvoir une offre de th\u00e8se. Ce poste est bas\u00e9 sur le site Nano-Innov de Paris-Saclay, Essonne (91). Ce poste est \u00e0 pourvoir pour septembre 2026. CONTEXTE Les syst\u00e8mes mat\u00e9riels modernes, tels que les processeurs RISC-V, les acc\u00e9l\u00e9rateurs et les syst\u00e8mes sur puce h\u00e9t\u00e9rog\u00e8nes, reposent fortement sur des simulateurs fonctionnels et des mod\u00e8les de v\u00e9rification formelle afin de garantir la correction, la fiabilit\u00e9 et la s\u00e9curit\u00e9. Toutefois, la construction et la maintenance manuelles de ces mod\u00e8les \u00e0 partir des sp\u00e9cifications de conception sont lentes et deviennent de plus en plus complexes \u00e0 mesure que les architectures se complexifient. Cet effort manuel constitue aujourd\u2019hui un goulet d\u2019\u00e9tranglement majeur dans les flots contemporains de conception et de v\u00e9rification mat\u00e9rielles. OBJECTIFS DE LA THESE L\u2019objectif de cette th\u00e8se est de d\u00e9velopper une m\u00e9thodologie unifi\u00e9e, pilot\u00e9e par l\u2019IA, pour la co-g\u00e9n\u00e9ration automatique de mod\u00e8les mat\u00e9riels fonctionnels et formels directement \u00e0 partir des sp\u00e9cifications de conception. Les travaux porteront sur la g\u00e9n\u00e9ration de mod\u00e8les fonctionnels ex\u00e9cutables, tels que des simulateurs au niveau jeu d\u2019instructions, ainsi que de mod\u00e8les de v\u00e9rification formelle capturant pr\u00e9cis\u00e9ment la s\u00e9mantique architecturale. La th\u00e8se d\u00e9veloppera des cha\u00eenes de g\u00e9n\u00e9ration bas\u00e9es sur les LLMs, combinant l\u2019apprentissage par renforcement avec des boucles de retour pilot\u00e9es par les outils, afin d\u2019affiner it\u00e9rativement une repr\u00e9sentation interm\u00e9diaire inspir\u00e9e des prompts et de guider la g\u00e9n\u00e9ration des mod\u00e8les vers la correction, la coh\u00e9rence et le succ\u00e8s de la v\u00e9rification formelle. L\u2019objectif \u00e0 long terme est de proposer un environnement de co-g\u00e9n\u00e9ration correcte par construction permettant de r\u00e9duire significativement l\u2019effort de mod\u00e9lisation manuelle tout en assurant un fort alignement entre les vues fonctionnelles et formelles de l\u2019architecture. La m\u00e9thodologie d\u00e9velopp\u00e9e sera \u00e9valu\u00e9e sur des cas d\u2019\u00e9tude mat\u00e9riels r\u00e9alistes et open-source, avec un accent particulier sur les architectures RISC-V, leurs extensions et les acc\u00e9l\u00e9rateurs mat\u00e9riels. Les r\u00e9sultats exp\u00e9rimentaux permettront d\u2019\u00e9valuer la pr\u00e9cision des mod\u00e8les g\u00e9n\u00e9r\u00e9s, leur coh\u00e9rence mutuelle, leur capacit\u00e9 \u00e0 passer \u00e0 l\u2019\u00e9chelle, ainsi que les gains de productivit\u00e9 obtenus par rapport aux approches de mod\u00e9lisation manuelle. Retrouvez cette offre sur le site de l&rsquo;INSTN : https:\/\/instn.cea.fr\/these\/generation-assistee-par-llm-de-modeles-materiels-fonctionnels-et-formels #CEA-List ; #PhD ; #Researcher ; #Chercheur<\/p>","protected":false},"featured_media":0,"template":"","categories":[166],"tags":[],"class_list":["post-12550","offre-emploi","type-offre-emploi","status-publish","hentry","category-intelligence-artificielle-et-data-intelligence"],"acf":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/offre-emploi\/12550","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/offre-emploi"}],"about":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/types\/offre-emploi"}],"wp:attachment":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/media?parent=12550"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/categories?post=12550"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/tags?post=12550"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}