3 construction "https:" positions at CEA

Thèse de doctorat: Génération assistée par LLM de modèles matériels fonctionnels et formels H/F

CEA | Corbeil-Essonnes, Île-de-France | France | about 1 month ago

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

Stage - Déploiement d'algorithmes de ML adaptés au matériel-Saclay- H/F

CEA | Corbeil-Essonnes, Île-de-France | France | 2 days ago

Congress of Embedded Real Time Systems (ERTS 2026) , 2026. ⟨10.82331/ERTS.2026.42⟩. ⟨hal-05513843⟩  [2] Eclipse Aidge. https://eclipse.dev/aidge/ [3] Projet DeepGreen - https://deepgreen.ai/ [4] Projet

DEND - Equipier.ère de quart pour le suivi des transports de matières nucléaires H/F

CEA | Roissy Charles-de-Gaulle, Île-de-France | France | about 4 hours ago

de la sécurité contre les actes de malveillance (SESAM). Si vous aimez relever les défis, venez construire avec nous la nouvelle DEND ! Site : https://www.dend.fr/ You may be interested in these