Offre en lien avec l’Action/le Réseau : – — –/– — –

Laboratoire/Entreprise : VERIMAG / Grenoble INP-Ensimag, UGA
Durée : poste permanent
Contact : david.monniaux@univ-grenoble-alpes.fr
Date limite de publication : 2026-06-01

Contexte :

Sujet :
Un poste de Professeur⋅e des Universités va être ouvert en section 27
au laboratoire VERIMAG et à Grenoble-INP Ensimag pour la campagne
synchronisée 2026.

Contacts :
– David Monniaux pour la
recherche ;
– Christophe Picard et Emmanuel
Maître pour l’enseignement.

Profil du candidat :
Le profil recherche de ce poste est à l’intersection entre
l’intelligence artificielle et les sciences du logiciel et les méthodes
formelles. Parmi les thématiques possibles, on pourra citer :

* l’apprentissage automatique de confiance
* l’apprentissage automatique explicable
* le monitoring de systèmes issus de l’apprentissage automatique
* la vérification de propriétés sur des systèmes issus de
l’apprentissage automatique
* l’apprentissage automatique de lois de commandes
* l’utilisation de l’apprentissage automatique pour le développement de
logiciels vérifiés
* l’utilisation de l’apprentissage automatique pour la preuve
automatisée de théorèmes
* recherche de vulnérabilités de sécurité aidée par l’apprentissage
automatique
* sûreté et sécurité des modèles de langage

Cette liste n’est pas exhaustive et toute proposition de thème connexe
en lien avec les domaines de recherche du laboratoire pourra être
considérée.

Côté enseignement, outre les enseignements d’informatique traditionnels
de cycle ingénieur (en algorithmique et programmation notamment), il
est attendu de la personne recrutée qu’elle s’investisse en particulier
dans l’enseignement et l’animation des parcours autour de
l’intelligence artificielle, à la fois en cycle ingénieur et en master,
en développant également des enseignements autour des enjeux
socio-environnementaux de l’IA et de l’explicabilité.

Formation et compétences requises :

Adresse d’emploi :
Ensimag
681 rue de la Passerelle
38400 Saint Martin d’Hères

Laboratoire VERIMAG
150 place du Torrent
38400 Saint MArtin d’Hères