Description de l'offre

« 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.

CONTEXTE

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 co...