Chercheur (Post-doctoral) en Méthodes Formelles Pour Ia (F/H)
il y a 4 jours
Type de recrutement:
Poste ouvert en CDD
- Quotité de travail:
100%
- Durée du contrat:
Du 01 novembre 2025 au 31 octobre 2026
- Localisation:
VERIMAG
Place du Torrent 150
38400 Saint-Martin-d'Hères
Présentation de la structure
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
Compétences attendues
- 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.
Conditions de diplômes
Doctorat
Rémunération
A partir de 2900€ mensuel brut et en fonction de l’expérience.
-
Chercheur (Post-doctoral) en Informatique (F/H)
il y a 2 semaines
Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Durée du contrat: Du 01 juillet 2025 au 30 juin 2026 - Localisation: LIG 700 Avenue centrale 38400 Saint Martin d'Hères Présentation de la structure Vous aurez accès à de grands ensembles de données, à des serveurs GPU, à des moyens pour les missions ainsi qu'aux activités...
-
Chercheur (Post-doctoral) en Informatique (F/H)
il y a 1 semaine
Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Durée du contrat: Du 01 novembre 2025 au 31 mai 2026 - Localisation: LIG 700 Avenue centrale 38400 Saint Martin d'Hères Présentation de la structure Les travaux seront menés dans l'équipe STEAMER qui fait partie du Laboratoire d'Informatique de Grenoble (LIG). Vous rejoindrez...
-
Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: Du 01 mai 2025 au 30 avril 2026 - Localisation: GAEL BATEG 1241 Rue des résidences 38400 Saint Martin d'Hères Présentation de la structure Le Laboratoire d’Economie Appliquée de Grenoble (GAEL) est une unité mixte de recherche...
-
Responsable Adjoint Du Service écoles Doctorales
il y a 2 jours
Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en Mobilité interne et externe et CDD - Quotité de travail: 100% - Niveau d'emploi: A - ASI ouvert aux B - Durée du contrat: 1 an renouvelable - Localisation: CED Maison Jean Kuntzmann 110 rue de la Chimie 38400 Saint Martin d'Hères Présentation de la structure Le Collège doctoral accueille 2 900 doctorants dont 40%...
-
Chercheur (Post-doctoral) en Data Science (F/H)
il y a 2 semaines
Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Durée du contrat: Du 01 novembre 2025 au 31 octobre 2027 - Localisation: CRJ Bât. Droit B 1133 Rue des résidences 38400 Saint Martin d'Hères Présentation de la structure Vous aurez accès à de grands ensembles de données, à des serveurs GPU, à des moyens pour les missions ainsi...
-
Gestionnaire Des Formations Doctorales
il y a 2 semaines
Mont-Saint-Aignan, France Université de Rouen Normandie Temps plein**GESTIONNAIRE DES FORMATIONS DOCTORALES** L'Université de Rouen Normandie recherche son futur **Gestionnaire des formations doctorales F/H** pour la **DRV**, en CDD de 12 mois renouvelable pour débuter le 20/11/2024 à **temps partiel** sur le campus de Mont-Saint-Aignan. Rattaché(e) à la responsable du Pôle des études doctorales de la **DRV...
-
Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Durée du contrat: Du 01 janvier 2026 au 31 décembre 2026 - Localisation: PACTE IEP 1030 Avenue centrale 38400 Saint Martin d'Hères Présentation de la structure Missions principales Vous aurez pour mission de réaliser une recherche-intervention sur un territoire vulnérable (Crue...
-
Chercheur en Economie Industrielle, économie de
il y a 2 semaines
38400 Saint-Martin-d'Hères, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: 1 an - Localisation: CREG BATEG 1241 Rue des résidences 38400 Saint Martin d'Hères Présentation de la structure Le Centre de Recherche en Economie de Grenoble (Creg) est une Unité de recherche de l’Université Grenoble Alpes...
-
Gestionnaire Des études Doctorales
il y a 2 semaines
Mont-Saint-Aignan, France Université de Rouen Normandie Temps pleinL'université de Rouen Normandie recherche 2 **Gestionnaires des études doctorales F/H **pour rejoindre la Direction de la Recherche et de la Valorisation (DRV), en CDD jusqu'au 31/08/2025. Le poste de gestionnaire des études doctorales qui fait l’objet de cette fiche de poste est rattaché au Pôle des études doctorales de la DRV, composé de 7...
-
Chercheur (post-doctoral) en sociologie et démographie (f/h)
il y a 7 jours
Saint-Martin-dHères, Auvergne-Rhône-Alpes, France Université Grenoble Alpes Temps pleinType de recrutement :Poste ouvert en CDDQuotité de travail :100%Durée du contrat :Du 01 décembre 2025 au 30 novembre 2027Localisation :PACTE IEP1030 Avenue centrale38400 Saint Martin d'HèresPrésentation de la structureLe laboratoire de sciences sociales PACTE est une unité mixte de recherche du CNRS, de l'Université Grenoble Alpes et de Sciences Po...
