Ancrée dans son territoire, l’Université Grenoble Alpes porte l’IDEX et réunit l’ensemble des forces de l’enseignement supérieur public du site Grenoble Alpes

- 59 500 étudiant·es
- 7 800 personnels
- 600 parcours et filières
- 71 unités de recherche

www.univ-grenoble-alpes.fr

Retrouvez toutes nos offres d'emploi sur le site emploi UGA employeur https://emploi.univ-grenoble-alpes.fr/

Vous travaillerez au sein du laboratoire VERIMAG (https://www-verimag.imag.fr/?lang=fr), spécialisé dans les systèmes embarqués et les méthodes formelles.

Vous serez intégré dans l'équipe FETLAS (Foundations for Engineering Trustworthy Learning-Enabled Autonomous Systems) sous la co-direction de Thao Dang, directeur de recherche CNRS, de Nicolas Basset, Maître de Conférence UGA et d'Alexandre Donzé, titulaire d'une chaire de professeur junior sur la vérification et l'explicabilité de l'intelligence artificielles.

Missions principales :

Vous aurez pour mission de contribuer au projet Det-AI financé par la région AURA, en particulier sur l'apprentissage d'automates temporisés et hybrides et le test et le monitoring des systèmes d'IA.

Dans ce but, vous participerez au développement et au support de logiciels en Python et/ou C++ et à la réalisation d'études de cas.

Activités principales :

• Développer, maintenir et optimiser un logiciel pour l'apprentissage d'automates temporisés et hybrides.
• Étendre une bibliothèque pour le monitoring de propriétés temporelles (STL).
• Étendre une bibliothèque pour l'apprentissage par renforcement avec modèles formels.
• Mettre en place l'utilisation de la plateforme de calcul GRICAD.
• Étudier des cas pour ces logiciels.

Rémunération :

A partir de 2289€ mensuel brut et en fonction de l’expérience.

Vous percevrez en plus de votre salaire un régime indemnitaire d'un montant mensuel brut de 716 €.

• Compétences en développement de logiciels de calcul numérique et apprentissage machine en python
• Compétences en développement C++ sont appréciées
• Capacité à s'intégrer et contribuer aux travaux d'une équipe de recherche : participation aux réunions, développement de prototype logiciel de recherche
• Faire preuve d'autonomie
• Sens de l'organisation

Une formation dans une thématique proche du domaine recherché est fortement apprécié.

Sur le recrutement :

Mathys VINCENT, chargé.e de recrutement
mathys.vincent@univ-grenoble-alpes.fr

Sur le poste :

Alexandre DONZE - Titulaire d'une CPJ - alexandre.donze@univ-grenoble-alpes.fr

Thao DANG - Directeur de Recherche - thao.dang@univ-grenoble-alpes.fr

David Monniaux - Directeur - david.monniaux@univ-grenoble-alpes.fr