Présentation de la structure : 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. Missions principales : 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. Activités principales : - 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. Une expérience de 2 à 5 ans est souhaitée. Formation dans une thématique proche du domaine recherché exigée. Conditions de diplômes