Chercheuse (post-doctorale) / Chercheur (post-doctoral) en méthodes formelles pour IA

Université Grenoble Alpes; Auvergne-Rhône-Alpes; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Un établissement de recherche en France recherche un(e) chercheur(e) post-doctoral en méthodes formelles pour l'IA. Le candidat doit avoir un doctorat et 2 à 5 ans d'expérience. Les responsabilités incluent la contribution à l'apprentissage par renforcement et le développement de logiciels de recherche. Le poste est basé à Saint-Martin-d’Hères, et une rémunération de 2900€ mensuel brut est offerte.

Qualifications

• Faire preuve d’autonomie dans le travail.
• Capacité à encadrer doctorants et stagiaires.
• Contribuer aux travaux d’une équipe de recherche.

Responsabilités

• Contribuer aux thématiques de vérification et explicabilité de l’IA.
• Aider au développement des logiciels STLROM/RLROM.
• Proposer des nouvelles directions de recherche.
• Exposer ses résultats dans des publications scientifiques.

Connaissances

Autonomie

Encadrement

Intégration d'équipe

Formation

Doctorat/diplôme équivalent

Description du poste

Description du poste

Chercheuse (post-doctorale) / Chercheur (post-doctoral) en méthodes formelles pour IA

Contexte

Descriptif du service: Vous travaillerez au sein du laboratoire VERIMAG, 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é.

Rattachement et localisation

Établissement: Université Grenoble Alpes. Localisation: Place du Torrent 150, 38400 Saint-Martin-d’Hères. Département: VERIMAG/FETLAS.

Poste et conditions

Nature de l’emploi: Emploi ouvert uniquement aux contractuels. Nature du contrat: CDD d’un an. Statut: Catégorie A (cadre). Expérience souhaitée: Non renseigné. Rémunération: A partir de 2900€ mensuel brut et en fonction de l’expérience. Télétravail: Non renseigné.

Responsabilités (Missions Principales)

• 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.
• 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 et rédiger des articles.

Profil recherché et qualifications

• Faire preuve d’autonomie.
• Capacité à encadrer (doctorants, stagiaires).
• Capacité à s’intégrer et contribuer aux travaux d’une équipe de recherche et au développement de prototypes logiciels de recherche.

Formation dans une thématique proche du domaine recherché exigée. Une expérience de 2 à 5 ans est souhaitée. Niveau d’études minimum requis: Doctorat/diplôme équivalent.

Éléments pratiques

• Domain: Recherche.
• Lieu: Isère (38) - Saint-Martin-d’Hères.
• Référence: 2025-2057259.
• Postuler sur le site employeur. Date limite de candidature: 15/10/2025.

Personnes à contacter

• Mathys VINCENT, chargé.e de recrutement: [e-mail]
• Sur le poste: Alexandre DONZE - Enseignant-Chercheur: [e-mail]
• Supérieur hiérarchique: David Monniaux: [e-mail]