Doctorant F/H Reconnaissance de programmes par intelligence artificielle
il y a 4 jours
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 16 équipes de recherche et des services supports à la recherche.
Ses équipes sont localisées sur 2 campus : à Villeurbanne, La Doua, et à Lyon Gerland.
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
Dans le cadre de l'action exploratoire Inria ProgReco entre Inria Lyon et l'Université Côte d'Azur, nous recrutons un.e doctorant.e en codirection entre l'ENS de Lyon et l'université Côte d'Azur .
Le doctorant pourra prendre ses fonctions à l'université Côte d'Azur ou bien à l'ENS de Lyon.
Mission confiée
L'objectif est de construire une analyse statique capable de reconnaitre automatiquement un programme en utilisant des techniques d' intelligence artificielle ; et d'explorer son application à l' optimisation automatique de programmes . Le travail de recherche demandé comprend l'implémentation de la solution et les expérimentations nécessaires à sa publication.
Principales activités
Les grandes étapes de la recherche demandée incluent les points suivants :
- Trouver une bonne représentation d'un programme. Un programme se modèlise naturellement par un graphe . On cherche à garder des élements de syntaxe et un représenter la sémantique du programme (le calcul) en exhibant le flot de donnée et le flot de contrôle. La forme SSA et ses variantes se prêtent bien à cet exercice. En particulier, la gated-SSA et son extension aux tableaux sont de bons points de départ pour construire une telle représentation.
- Choisir un modèle d'apprentissage . Une fois trouvé la bonne représentation par graphe, il faut choisir un modèle d'apprentissage approprié. Les graph neural networks sont un bon point de départ et ont déjà donné des résultats prometteurs. Les gated-graph sequence neural networks utilisés avec succès en analyse de programme, sont également une piste possible.
- Générer un jeu d'entrainement. Il nous faut plusieurs variantes d'un programme pour entrainer le modèle d'apprentissage. Une première idée consiste consiste à considérer les passes qui sont utilisées au sein des options d'optimisation comme O3. Ensuite, on garde chaque passe avec une certaine probabilité. Si le programme est régulier, on peut également choisir aléatoirement une transformation affine de boucles à la manière des travaux sur la compilation itérative. La difficulté est de trouver un ensemble de variants suffisament uniforme pour éviter l' overfitting .
- Application à l'optimisation de programmes. Une fois un algorithme reconnu, on peut le substituer par une version plus efficace disponible dans une bibliothèque de calcul haute performance. Un défi majeur doit être relevé ici : notre classifieur ne fait que des prédictions , il n'y a aucune garantie d'équivalence. Il faudra donc filtrer le résultat avec un test d'équivalence sémantique exact , ce qui limite ce scénario d'application à la classe des programmes réguliers dont l'équivalence est semi-décidable. La classe des programmes réguliers est tout particulièrement présente dans les codes de calcul haute performance ; et il existe une grande variété de bibliothèques optimisées (MKL, MAGMA, PLASMA, etc) avec des cibles diverses (GPU, multicoeur). Notons que cette restriction aux programmes réguliers ne concerne que cette étape d'application. Notre système de reconnaissance de programme s'efforcera d'être le plus général possible.
En plus de l'activité de recherche, le/la doctorant.e pourra effectuer des activités complémentaires d'enseignement à l'université ou à l'ENS de Lyon.
Compétences
Le/la candidat.e idéal.e pour cette thèse est un.e étudiant.e qui a suivi une formation en informatique fondamentale (compilation, programmation avancée, réseaux de neurones, graphes). Sur la partie implémentation, la maîtrise du C++ est nécessaire.
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/an fixes ou flottants et aménagement du temps de travail
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Participation Protection Sociale Complémentaire sous conditions
Rémunération
1ère et 2ème année : 2 100 euros brut /mois
3 ème année : 2190 euros brut / mois
-
Villeurbanne, France Inria Temps pleinA 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 16 équipes de recherche et des services supports à la recherche. Ses équipes sont localisées sur 2 campus : à Villeurbanne, La Doua, et à Lyon Gerland. Le centre...
-
Spécialiste en Intelligence Artificielle Alternant
il y a 2 semaines
Villeurbanne, France ISCOD Temps pleinL'ISCOD, une référence dans la formation digitale, recherche un expert en Intelligence Artificielle pour accompagner l'une de nos formations diplômantes reconnues par l'Etat. Cette offre vous permettra de préparer les futurs professionnels en Intelligence Artificielle. Description du poste Nous recherchons un expert en Intelligence Artificielle qui...
-
Spécialiste en Intelligence Artificielle
il y a 1 semaine
Villeurbanne, Auvergne-Rhône-Alpes, France ISCOD Temps pleinOffre d'alternance pour un contrat en IAVous êtes à la recherche d'une opportunité de travail qui vous permettra de développer vos compétences en Intelligence Artificielle ? L'ISCOD, spécialiste de la formation et du développement de solutions innovantes, recrute un Alternance Expert en IA pour son équipe.Description du poste :Ce contrat en...
-
Apprenti en Intelligence Artificielle
il y a 3 jours
Villeurbanne, France Inria Temps pleinA 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 16 équipes de recherche et des services supports à la recherche. Ses équipes sont localisées sur 2 campus : à Villeurbanne, La Doua, et à Lyon Gerland. Le...
-
CONSULTANT EN DATA ET INTELLIGENCE ARTIFICIELLE
il y a 15 heures
Villeurbanne, Auvergne-Rhône-Alpes, France Smile Group Temps pleinJOINDRE NOTRE EQUIPE DE CONSULTANTS EN DATA ET INTELLIGENCE ARTIFICIELLESMILE, leader du sourire au travail, recherche des professionnels passionnés par l'intelligence artificielle et les données pour rejoindre notre équipe de consultants en data et intelligence artificielle.En tant que consultant en data et intelligence artificielle, vous serez amené à...
-
Stage - Intelligence Artificielle Pour Le Génie
Il y a 2 mois
Villeurbanne, France SuperGrid Institute Temps pleinCréée en 2014, SuperGrid Institute est une société privée indépendante, acteur de la transition énergétique en France et dans toute l’Europe, regroupant plus de 150 collaborateurs et plus de 20 nationalités différentes. Spécialiste des systèmes électriques innovants à courant continu en haute et moyenne tension (HVDC et MVDC). SuperGrid...
-
Villeurbanne, Auvergne-Rhône-Alpes, France ISCOD Temps pleinPoste de spécialiste en Intelligence ArtificielleL'ISCOD, un leader dans la formation professionnelle numérique, recherche un expert en Intelligence Artificielle (IA) pour rejoindre son équipe sur le site de VILLEURBANNE. Le candidat idéal sera chargé de préparer une formation diplômante reconnue par l'État au niveau 5 à niveau 7.Description du...
-
Ingénieur Informatique Intelligence Artificielle F/H
il y a 2 jours
Villeurbanne, France VINCI ENERGIES FRANCE INFRAS MÉDITERRANÉE CENTRE-EST Temps pleinVINCI Energies vise une performance globale, attentive à la planète, utile aux hommes et solidaire aux populations.Et si ton aventure professionnelle commençait avec VINCI Energies ?Enfrasys, filiale du Groupe VINCI Energies, est une entreprise de 70 collaborateurs basée à Lyon. Nous sommes spécialisés dans la mise en œuvre de solutions sur mesure...
-
Analyste de données spécialisé en intelligence artificielle
il y a 3 semaines
Villeurbanne, Auvergne-Rhône-Alpes, France Alstom Temps pleinDescription du posteNous recherchons un analyste de données spécialisé en intelligence artificielle pour rejoindre notre équipe Digital Services à Alstom. Vous travaillerez avec des experts du domaine pour acquérir des connaissances et comprendre les exigences, collecter et transformer des ensembles de données, développer des algorithmes de science...
-
Villeurbanne, France SuperGrid Institute Temps pleinDescriptionCréée en 2014, SuperGrid Institute est une société privée indépendante, acteur de la transition énergétique en France et dans toute l’Europe, regroupant plus de 150 collaborateurs et plus de 20 nationalités différentes. Spécialiste des systèmes électriques innovants à courant continu en haute et moyenne tension (HVDC et MVDC)....
-
Villeurbanne, Auvergne-Rhône-Alpes, France ISCOD Temps pleinRejoignez-nous au sein d'une entreprise pionnière dans le domaine de l'alternance !">L'ISCOD, un leader incontournable dans la formation en ligne, recherche un spécialiste en intelligence artificielle pour rejoindre notre équipe dynamique. Cette opportunité vous permettra de faire progresser votre carrière et de contribuer à...
-
Doctorant / Doctorante en Biophysique (H/F)
Il y a 3 mois
Villeurbanne, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 26 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant / Doctorante en biophysique (H/F)** Référence : UMR5306-LORMON-002 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication...
-
Expert en Intelligence Artificielle
il y a 15 heures
Villeurbanne, Auvergne-Rhône-Alpes, France ISCOD Temps pleinÀ propos de l'entrepriseL'ISCOD est une école de formation en ligne et en alternance spécialisée dans les métiers du numérique.Nous formons aux compétences nécessaires pour répondre aux défis du marché du travail et de la société.Mission de l'entrepriseL'ISCOD a pour mission d'offrir des formations diplômantes de qualité...
-
(H/F) Doctorant en Ecologie Microbienne
Il y a 2 mois
Villeurbanne, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 31 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Doctorant en Ecologie Microbienne** Référence : UMR5557-VERROD-001 Nombre de Postes : 1 Lieu de travail : VILLEURBANNE Date de publication : jeudi...
-
Villeurbanne, Auvergne-Rhône-Alpes, France CNRS Temps pleinInformations généralesType de contrat : CDD ScientifiqueDescription du posteMissionsPour le projet e-FRAN LudiMoodle+, nous recherchons un chercheur en intelligence artificielle pour contribuer à l'amélioration de l'engagement des élèves dans les environnements numériques d'apprentissage.ActivitésPrendre en main les données collectées via...
-
Post-doctorant (H/F)
Il y a 3 mois
Villeurbanne, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 24 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant (H/F) sur Electrooxydation de molécules organiques assistée par spectroscopie Operando** Référence : UMR5256-JESGON-005 Nombre de...
-
(H/F) Post-doctorant
il y a 1 mois
Villeurbanne, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 21 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:(H/F) Post-doctorant / Post-doctorante : en analyse de données de transcriptomique à haut débit** Référence : UMR5558-NATARB-085 Nombre de Postes...
-
Doctorant (H/F)
Il y a 3 mois
Villeurbanne, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 24 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) - Development of electrocatalysts for glycerol oxidation by operando spectroscopy analysis** Référence : UMR5256-JESGON-004 Nombre...
-
(H/F) Post-doctorant
Il y a 2 mois
Villeurbanne, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 4 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:(H/F) Post-doctorant / Post-doctorante : Biologiste en biologie moléculaire et en évo-dévo des plantes** Référence : UMR5558-NATARB-083 Nombre de...
-
Formateur Indépendant
il y a 1 mois
Villeurbanne, France Amaz Consulting Temps plein**À propos de NEXTGEN School of Management : La NEXTGEN School of Management** est une école spécialisée dans le management et l'entrepreneuriat, avec un fort accent sur le développement durable et l'intelligence artificielle. Nous formons les leaders de demain, capables de répondre aux défis de la transition écologique, de la digitalisation et de...
