Post-doctorant (F/H) Aprentissage Artificiel Pour
Il y a 5 mois
**Type de contrat **:CDD
**Niveau de diplôme exigé **:Thèse ou équivalent
**Fonction **:Post-Doctorant
**A propos du centre ou de la direction fonctionnelle**:
Le centre Inria de Lyon est le 9ème centre de recherche Inria. Créé en janvier 2022, il regroupe environ 300 personnes au sein de 17 équipes de recherche et des services supports à la recherche.
Ses équipes sont localisées à Villeurbanne, à Lyon Gerland, ainsi qu’à Saint-Etienne.
Le centre de Lyon est présent dans les domaines du logiciel, du calcul distribué et haute performance, des systèmes embarqués, du calcul quantique et de respect de la vie privée dans le monde numérique, mais aussi de la santé et de la biologie numériques.
**Contexte et atouts du poste**:
**Le postdoc se déroulera dans le cadre du défi Inria LLM4Code,** dont **les objectifs sont d'appliquer des techniques d'apprentissage automatique à la génération automatique de code**, et en particulier pour les bibliothèques d'assistants de preuves, telles que les bibliothèques Coq.
**La recherche sera menée dans le laboratoire LIP de l'ENS Lyon sous la supervision locale de Cyril Cohen,** au sein de l'équipe CASH. Cependant, il y aura des réunions fréquentes, et des rencontres régulières en personne, avec les participants des autres lots de travail du projet LLM4Code.
**Les frais de déplacement sont couverts dans les limites du barème en vigueur.**
**Mission confiée**:
**Mission**:
Avec l'aide des membres des projets et de leurs collaborateurs, la personne recrutée travaillera sur les traductions automatisées à partir de, vers et entre les bibliothèques de mathématiques formalisées en utilisant des techniques modernes d'IA, et en particulier des modèles de langue de grande taille (LLM).
Ces traductions peuvent nécessiter des modifications non triviales des assistants de preuve utilisés, telles que la création de plugins, l'utilisation de méta-programmation, ou la reformulation des bibliothèques de manière à mieux convenir à l'apprentissage automatique.
Il sera également nécessaire de mettre en place des entraînements, des ajustements fins et/ou des techniques RAG sur des modèles existants, et d'évaluer la pertinence de chaque méthode.
Les résultats attendus de ce travail sont des publications de recherche et la production de logiciels.
**Pour une meilleure connaissance du sujet de recherche proposé**:
L'état de l'art, la bibliographie et les références scientifiques évoluent rapidement. Nous suggérons de lire le récent survey _A Survey on Deep Learning for Theorem Proving_ par Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si, avec un focus particulier sur les publications concernant Coq ou Lean.
**Collaboration**:
La personne recrutée sera principalement en contact avec Cyril Cohen, mais travaillera également à distance avec d'autres membres de LLM4Code.
**Responsabilités**:
La personne recrutée sera responsable de la mise en place de l'infrastructure logicielle pour mener les expériences et prendre des initiatives pour les choix de logiciels et de matériel disponible, dans les limites permises par Inria.
**Principales activités**:
**Activités principales**:
- Déterminer comment entraîner, ajuster finement, ou utiliser des techniques RAG sur des modèles existants, et combiner ces methodes, pour atteindre la traduction souhaitée.
- Mettre en place l'infrastructure pour implémenter et reproduire ces méthodes.
- Implémenter des extensions de Coq ou Lean afin d'extraire des données pertinentes.
- Documenter les logiciels résultants.
- Collecter les résultats, exécuter des benchmarks et publier des articles scientifiques.
**Activités supplémentaires**:
- Concevoir des interfaces utilisateur pour rendre l'outil résultant plus largement utilisable.
- Déterminer un schéma de maintenance à long terme pour ceux-ci.
**Compétences**:
Compétences techniques et niveau requis:
- Connaître les bases d'au moins un assistant de preuve, de préférence en théorie des types dépendents.
- Comprendre les différences entre les diverses techniques d'apprentissage artificiel.
- Savoir mettre en oeuvre l'entrainement d'un modèle en pratique.
Langues:
- Anglais courant.
Compétences relationnelles:
- Communiquer ses résultats.
- Travailller en autonomie, tout en discutant des stratégies à adopter avec les autres membres du projets.
- Écouter les retours.
Compétences additionnelles appréciées:
- Expertise en LLM.
- Expertise en Coq ou Lean.
- Git, Github, Hugging Face, WandB, et autres plateformes de partage de code, model etc.
**Avantages**:
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés : 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail (90 jours par an
-
Post-doctorant (F/H) Apprentissage Artificiel Pour
Il y a 3 mois
Lyon, France Inria Temps plein**Type de contrat **:CDD **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Post-Doctorant **A propos du centre ou de la direction fonctionnelle**: Le centre Inria de Lyon est le 9ème centre de recherche Inria. Créé en janvier 2022, il regroupe environ 300 personnes au sein de 17 équipes de recherche et des services supports à la...
-
Post-doctorant (H/F)
il y a 1 mois
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 18 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant (H/F) en Mathématiques** Référence : UMR5669-VIRGON-004 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : lundi 28...
-
Post Doctorant en Mathématiques
il y a 3 semaines
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 4 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post doctorant en Mathématiques (H/F)** Référence : UMR5669-JESDAN-003 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication :...
-
Post-doctorant (H/F) en Mathématiques
il y a 1 mois
Lyon, France CNRS Temps pleinInformations générales Intitulé de l'offre : Post-doctorant (H/F) en Mathématiques Référence : UMR5669-VIRGON-004 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : lundi 28 octobre 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 1 septembre 2025 Quotité de travail : Temps complet...
-
Post-doctorant (H/F) en Mathématiques
il y a 2 semaines
Lyon, France CNRS Temps pleinInformations générales Intitulé de l'offre : Post-doctorant (H/F) en Mathématiques Référence : UMR5669-VIRGON-004 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : lundi 28 octobre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 1 septembre 2025 Quotité de travail :...
-
(H/F) Post-doctorant Immunologie
Il y a 2 mois
Lyon 8e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 5 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Post-doctorant Immunologie** Référence : UMR5286-JULMAR-001 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de publication : mardi 15 octobre...
-
H/F Post-doctorant Immunologie
il y a 1 mois
Lyon, France CNRS Temps pleinInformations générales Intitulé de l'offre : H/F Post-doctorant Immunologie Référence : UMR5286-JULMAR-001 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de publication : mardi 15 octobre 2024 Type de contrat : Contrat de projet Scientifique Durée du contrat : 24 mois Date d'embauche prévue : 15 décembre 2024 Quotité de travail : Temps...
-
Postdoctorat en informatique
il y a 3 jours
Lyon, France CNRS Temps pleinInformations générales Intitulé de l'offre : Postdoctorat en informatique : intelligence artificielle pour les réseaux H/F Référence : UMR5668-MARBOZ--008 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : jeudi 28 novembre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 6...
-
Doctorant (H/F)
Il y a 2 mois
Lyon 8e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 9 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) en biologie moleculaire et cellulaire** Référence : UMR5261-GIUGIG-004 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de...
-
Doctorant en Biologie
il y a 4 jours
Lyon 8e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 25 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant en Biologie (H/F)** Référence : UMR5284-CHRMAR-005 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de publication : mercredi 4...
-
Doctorant (H/F)
Il y a 3 mois
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 30 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) - Etude du devenir de nanovaccins par imagerie et optimisation de leur conception pour l’administration nasale** Référence :...
-
Doctorant (H/F)
Il y a 3 mois
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 20 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) - Expression génétique reprogrammée dans la nouvelle cellule hôte lors de la conjugaison bactérienne** Référence :...
-
Chercheur/chercheuse (Post-doctorat) en
Il y a 6 mois
Lyon, France Université Grenoble Alpes Temps pleinType de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Localisation: LECA Biologie D 2233 Rue de la piscine 38610 Gières Présentation de la structure Le Laboratoire d’Écologie Alpine (LECA), est une unité mixte de recherche de l’Université Grenoble Alpes, CNRS, USMB, située 2233 rue de la Piscine...
-
(H/F) Doctorant en Linguistique Sur La Géographie
Il y a 2 mois
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 11 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Doctorant en Linguistique sur la géographie des langues et la linguistique historique** Référence : UMR5596-RABMAK-020 Nombre de Postes :...
-
(H/F) Doctorant en Linguistique Sur La Géographie
Il y a 2 mois
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 6 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Doctorant en Linguistique sur la géographie des langues et la linguistique historique** Référence : UMR5596-RABMAK-021 Nombre de Postes :...
-
Doctorant (H/F) Biologie Du Cancer
Il y a 3 mois
Lyon 8e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 25 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant H/F biologie du cancer** Référence : UMR5286-BENGIB-005 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de publication : mercredi 4...
-
Lyon, Auvergne-Rhône-Alpes, France CNRS Temps pleinInformations GénéralesTitre de l'Offre : Post-doctorant (H/F) en MathématiquesRéférence : UMR5669-VIRGON-004Nombre de Postes : 1Lieu de Travail : LyonType de Contrat : CDD ScientifiqueDurée du Contrat : 12 moisQuotité de Travail : Temps CompletRémunération : A partir de 3021€ brut mensuel selon le niveau d'expérienceNiveau d'Études Souhaité :...
-
Conseiller à L’accompagnement de Doctorants Et
Il y a 6 mois
Lyon 7e, France ComUE Université de Lyon Temps plein**DESCRIPTION DU POSTE** Au sein de l’Université de Lyon, l'Espace Ulys - Centre Euraxess de l’Université de Lyon propose une offre de services dédiée à l’accueil des scientifiques internationaux arrivant sur le site académique de Lyon - Saint-Etienne. Les publics ciblés sont les chercheurs et les doctorants internationaux, en séjour d'études...
-
Doctorant en Neurobiologie Et Cellules Souches
Il y a 3 mois
Lyon 7e, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 3 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant en neurobiologie et cellules souches (H/F)** Référence : UMR5242-ZAYCHA-002 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de...
-
Lyon, France INRIA Temps pleinDoctorant F/H Doctorat: Theoretical and practical aspects of spectral estimation for optimal optimization algorithms design Type de contrat : CDD Niveau de diplôme exigé : Bac + 5 ou équivalent Fonction : Doctorant A propos du centre ou de la direction fonctionnelle Le centre Inria de Lyon est le 9ème centre de recherche...
