Offre d'emploi : Post-doctorant ou post-doctorante en formalisation du langage Rust et compilation formellement vérifiée
Organisme de rattachement : CNRS
Versant : Fonction Publique de l'Etat
Métier : Chercheuse / Chercheur
Catégorie : Catégorie A (cadre)
Statut du poste : Vacant
Nature de l'emploi : Emploi ouvert uniquement aux contractuels
Nature de contrat : CDD d'1 an
Durée du contrat : 12 mois
Durée du poste : 30/11/2024
Localisation : Isère (38)
Lieu d'affectation : ST MARTIN D HERES
Niveau d'études : Niveau 8 Doctorat/diplômes équivalents
Spécialisation : Formations générales
Langues : Français
Niveaux : Seuil
Temps plein :  Oui