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 :
1. Ingénierie des Compilateurs : Optimisation de graphes, lowering, génération de kernels.
2. Méthodes Formelles & Intents : Grammaires, systèmes de types, sémantique de haut niveau, bridge ONNX++.
3. AI et Automatisation : Utilisation de l'AI (Agentic AI) pour guider l'autotuning et l'orchestration des compilations.
4. 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
5. Restauration subventionnée
6. Transports publics remboursés partiellement
7. 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)
8. Possibilité de télétravail (90 jours par an flottants) et aménagement du temps de travail
9. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
10. Accès à la formation professionnelle
11. Participation employeur mutuelle santé (sous conditions)
Rémunération
A partir de 2 692 € brut mensuel selon expérience et diplômes.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.