Chercheur (post-doctoral) en méthodes formelles en IA (f/h) (H/F)

UNIVERSITE GRENOBLE ALPES; Saint-Martin-d'Hères; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une institution d'enseignement supérieur recherche un Chercheur post-doctoral en méthodes formelles en IA. Vous participerez à des projets de recherche sur l'apprentissage par renforcement pour les systèmes cyberphysiques. Le poste nécessite un Bac+5 et 2 à 5 ans d'expérience. Le contrat est de 12 mois avec un salaire brut mensuel de 2900 Euros.

Qualifications

• Formation dans une thématique proche du domaine de l'intelligence artificielle exigée.
• 2 à 5 ans d'expérience souhaitée.

Responsabilités

• Contribuer aux thématiques de la chaire Vérification et Explicabilité de l'IA.
• Travailler sur l'apprentissage par renforcement appliqué aux systèmes cyberphysiques.
• Aider au développement des logiciels STLROM/RLROM.
• Proposer des nouvelles directions de recherche.
• Exposer ses résultats dans des publications scientifiques.
• Rédiger des articles scientifiques.

Connaissances

Capacité à encadrer (doctorants, stagiaires)

Capacité à s'intégrer

Contribuer aux travaux d'une équipe de recherche

Développement de prototype logiciel de recherche

Faire preuve d'autonomie

Participation aux réunions

Formation

Bac+5 et plus ou équivalents

Description du poste

Offre n° 198GWXB — Chercheur (post-doctoral) en méthodes formelles en IA (f/h) (H/F)

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 artificielle.

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.
• 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

Type de contrat : CDD - 12 Mois
Contrat travail Durée du travail : 35H/semaine
Travail en journée
Salaire : brut mensuel de 2900.0 Euros sur 12 mois

Profil souhaité

• Débutant accepté
• Bac+5 et plus ou équivalents — Cette formation est indispensable

Expérience

• Capacité à encadrer (doctorants, stagiaires) — Cette compétence est indispensable
• Capacité à s'intégrer — Cette compétence est indispensable
• Contribuer aux travaux d'une équipe de recherche — Cette compétence est indispensable
• Développement de prototype logiciel de recherche — Cette compétence est indispensable
• Faire preuve d'autonomie — Cette compétence est indispensable
• Participation aux réunions — Cette compétence est indispensable

Compétences

• Capacité à encadrer (doctorants, stagiaires) — Cette compétence est indispensable
• Capacité à s'intégrer — Cette compétence est indispensable
• Contribuer aux travaux d'une équipe de recherche — Cette compétence est indispensable
• Développement de prototype logiciel de recherche — Cette compétence est indispensable
• Faire preuve d'autonomie — Cette compétence est indispensable
• Participation aux réunions — Cette compétence est indispensable

Informations complémentaires

• Secteur d'activité : Enseignement supérieur

Employeur

Ancrée sur son territoire, pluridisciplinaire et ouverte sur l'international, l'Université Grenoble Alpes rassemble, depuis le 1er janvier 2020, les forces de l’enseignement supérieur public de Grenoble et Valence. En association avec les organismes nationaux de recherche et les grands instruments internationaux présents sur son territoire, elle construit sa politique de recherche et d'innovation à l'échelle mondiale.

D'autres offres peuvent vous intéresser :