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é.
Contacts :
- David Monniaux <david.monniaux@univ-grenoble-alpes.fr> pour la recherche
- Christophe Picard <christophe.picard@grenoble-inp.fr> et Emmanuel Maître <emmanuel.maitre@grenoble-inp.fr> pour l’enseignement
