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

Référence : 2025-2057259

  • Fonction publique : Fonction publique de l'État
  • Employeur : Université Grenoble Alpes
    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. www.univ-grenoble-alpes.fr
  • Localisation : Place du Torrent 150 38400 Saint-Martin-d'Hères
Domaine : Recherche
Postuler sur le site employeur

Date limite de candidature : 15/10/2025

Partager la page

Veuillez pour partager sur Facebook, Twitter et LinkedIn.

  • Nature de l’emploi Emploi ouvert uniquement aux contractuels
  • Nature du contrat

    CDD d'1 an
  • Expérience souhaitée Non renseigné
  • Rémunération Fourchette indicative pour les contractuels 34 800 € brut/an € brut/an Fourchette indicative pour les fonctionnaires Non renseignée
  • Catégorie Catégorie A (cadre)
  • Management Non renseigné
  • Télétravail possible Non renseigné

Vos missions en quelques mots

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.

Profil recherché

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

Niveau d'études minimum requis

  • Niveau Niveau 8 Doctorat/diplômes équivalents

Localisation

Localisation : Place du Torrent 150 38400 Saint-Martin-d'Hères

Éléments de candidature

Documents à transmettre

Pour postuler à cette offre, l'envoi du CV et d'une lettre de motivation est obligatoire

Qui sommes-nous ?

Travailler à l’Université Grenoble Alpes, c’est rejoindre un campus universitaire dynamique et un établissement qui s’inscrit dans le top 10 des établissements d’enseignement supérieur français. Richesse et diversité des compétences, gestion de carrière, qualité de vie au travail, rejoignez nos 7 800 personnels !

Descriptif du service

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.

En savoir plus sur l'employeur

À propos de l'offre

Des offres d'emplois recommandées pour vous