Poste Ingénieur Co Chercheur-Ingénieur - Lead Engineer R&D pour l'Optimisation de Compilation pour le Machine Learning H/F - INRIA

A propos d'Inria

Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.

Poste Ingénieur Co Chercheur-Ingénieur / Lead Engineer R&D pour l'optimisation de compilation pour le machine learning

Type de contrat : CDD

Contrat renouvelable : Oui

Niveau de diplôme exigé : Thèse ou équivalent

Autre diplôme apprécié : Thèse en informatique ou mathématiques appliquées

Fonction : Chercheur contractuel

Niveau d'expérience souhaité : De 5 à 12 ans

A propos du centre ou de la direction fonctionnelle

Le Centre Inria de l'Université Grenoble Alpes, regroupe un peu moins de 600 personnes réparties au sein de 26 équipes de recherche et 9 services support à la recherche.

Son effectif est distribué sur 3 campus à Grenoble, en lien étroit avec les laboratoires et les établissements de recherche et d'enseignement supérieur (Université Grenoble Alpes, CNRS, CEA, INRAE, ...), mais aussi avec les acteurs économiques du territoire.

Présent dans les domaines du calcul et grands systèmes distribués, logiciels sûrs et systèmes embarqués, la modélisation de l'environnement à différentes échelles etla science des données et intelligence artificielle, le Centre Inria de l'Université Grenoble Alpes participe au meilleur niveau à la vie scientifique internationale par les résultats obtenus et les collaborations tant en Europe que dans le reste du monde.

Contexte et atouts du poste

Type de poste : Lead Engineer / Expert R&D (Hybride Technique et Management). Poste d'expertise à fort impact, visant à pallier les lacunes d'échelle de notre chaîne de compilation et à piloter le développement d'une nouvelle infrastructure logicielle.

Équipe d'accueil : Pôle Infrastructure Logicielle & Compilation du projet CAMELIA. L'équipe travaille en synergie avec les équipes Matérielles (accélérateurs) et Systèmes pour fournir une chaîne de gestion de modèles complète.

Activité principale : Conception et standardisation d'une description intermédiaire (High-Level IR) entre les frameworks DNN (PyTorch/TF) et les outils de compilation bas niveau (XTC). La mission inclut la modernisation du code-base existant (Aidge), l'intégration d'outils de validation par méthode formelle et la coordination technique des développements envers les partenaires industriels.

Thématiques d'expertise :

- Ingénierie des Compilateurs : Optimisation de graphes, lowering, génération de kernels.
- Méthodes Formelles & Intents : Grammaires, systèmes de types, sémantique de haut niveau, bridge ONNX++.
- AI et Automatisation : Utilisation de l'AI (Agentic AI) pour guider l'autotuning et l'orchestration des compilations.
- Gestion de Projet & Leadership : Suivi de parties prenantes externes, rédaction de spécifications PI, encadrement technique de développeurs juniors et distribution des tâches.

Mission confiée

Concevoir l'architecture de compilation : Définir et formaliser la High-Level IR permettant l'intégration fluide des frameworks ML (PyTorch, ONNX++) vers les accélérateurs matériels.

Industrialiser la stack logicielle (Aidge) : Transformer les fonctionnalités existantes en un SDK et langage de programmation (DSL) robustes, scalables et prêts pour des cas d'usage industriels.

Optimiser la chaîne de recherche : Développer les mécanismes de lowering vers des outils comme XTC, en exploitant la programmation par contraintes et les agents IA pour l'autotuning des opérateurs.

Collaboration et coordination scientifique : Échanges réguliers avec les chercheurs académiques et les projets partenaires (CAMELIA, DeepGreen) pour aligner les développements sur les contraintes des accélérateurs matériels et la vision système.

Gestion et coordination des Projets Industriels (PI) : Animer les réunions de projet, superviser les développements juniors, rédiger les rapports d'activité, gérer les parties externes et participer à l'organisation des workshops techniques.

Principales activités

Conception de la High-Level IR : Définir les grammaires formelles et la sémantique des opérateurs pour assurer une interopérabilité fluide entre les frameworks d'inférence (PyTorch, ONNX) et le backend de compilation.

Développement d'outils et de langages (SDK/DSL) : Moderniser l'infrastructure logicielle existante, concevoir et maintenir un SDK et un langage de programmation (DSL) pour industrialiser le déploiement des modèles.

Encadrement de la recherche et des étudiants : Piloter techniquement les travaux de stage et de thèse axés sur l'optimisation des compilateurs et l'autotuning, incluant l'intégration et la validation de systèmes Agentic AI.

Collaboration scientifique et technique : Échanges réguliers avec les chercheurs académiques et les projets partenaires pour aligner les développements sur les contraintes des accélérateurs matériels et la vision système.

Coordination et suivi des Projets Industriels (PI) : Assurer le reporting d'activité, la gestion des jalons contractuels et maintenir une interaction forte avec les partenaires industriels pour valider l'adéquation des solutions développées.

Compétences

Conception de langages et compilateurs : Expérience avérée dans la conception de compilateurs (parser, runtime, IR, optimisations), gestion mémoire bas niveau et développement d'interfaces (SDK/DSL) pour la traduction entre niveaux d'abstraction.

Technologies de développement : Maîtrise des langages C++, Java, Python, TypeScript, Rocq, Assembly et des approches functional/IO.

Optimisation de code et algorithmique : Expérience en profiling, optimisation d'exécution et algorithmes d'optimisation de flux d'exécution.

Gestion d'équipe Agile et R&D : Expérience en management d'équipe Agile (taille 5-13 personnes), gestion de projets industriels et recherche R&D (PhD CIFRE).

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 flottants) et aménagement du temps de travail
- Prestations sociales, culturelles et sportives (Association de gestion des oeuvres sociales d'Inria)
- Accès à la formation professionnelle
- Participation employeur mutuelle santé (sous conditions)

Rémunération

A partir de 2 692 € brut mensuel selon expérience et diplômes.