Site emploiBienvenue

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 direction d'Alexandre Donzé, titulaire d'une chaire de professeur junior sur la vérification et l'explicabilité de l'intelligence artificielles.

Vous aurez pour mission de contribuer aux thématiques de la chaire Vérification et Explicabilité de l'IA, en particulier sur l'apprentissage par renforcement appliqué aux systèmes cyberphysiques.

• Travailler en priorité sur la thématique de l'apprentissage par renforcement sûr, en s'appuyant sur l'expertise de l'équipe dans le test, la vérification et la synthèse sous contraintes de logique temporelles des signaux (STL)
• Aider au développement des logiciels STLROM/RLROM, développés au sein de l'équipe FETLAS
• Proposer des nouvelles directions à partir des bases existantes
• Exposer ses résultats dans des publications scientifiques
• Rédiger des articles scientifiques

• Faire preuve d'autonomie,
• Capacité à encadrer (doctorants, stagiaires)
• Capacité à s'intégrer et contribuer aux travaux d'une équipe de recherche participation aux réunions, développement de prototype logiciel de recherche

Une expérience de 2 à 5 ans est souhaitée. Formation dans une thématique proche du domaine recherché exigée.