Ingénieur Scientifique Contractuel - Vers un Système de Macros Expressif pour Rocq - Preuves et Vérification - Bac + 5 ou Équivalent H/F
- Nantes - 44
- CDD
- INRIA
Recrutement INRIA à Nantes
5 Offres d'emploi correspondent à votre recherche
Agentic ai For Resource Allocation In Future Networks H/F
- Nantes - 44
- CDD
- INRIA
Création d'Outils Interactifs pour le Développement de Preuves Formelles en Rocq et Interfaçage avec des Llms H/F
- Nantes - 44
- CDD
- INRIA
Post-Doctorant Formally Verified Alignements For Better Interactive Proof Assistants H/F
- Nantes - 44
- CDD
- INRIA
Ingénieur en Développement Logiciel pour l'Imagerie Médicale H/F
- Nantes - 44
- CDD
- INRIA