Ingénieur·e de recherche en intelligence artificielle pour l’expérimentation sur la combinaison IA et méthodes formelles

Ingénieur·e de recherche en intelligence artificielle pour l’expérimentation sur la combinaison IA et méthodes formelles

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Ingénieur scientifique contractuel

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

Contexte et atouts du poste

L’adoption généralisée de l’IA dans de nombreux domaines de la société appelle au développement de techniques rendant l’IA plus sûre et plus digne de confiance. Les systèmes fondés sur l’IA affichent des performances impressionnantes, mais leur opacité les rend peu fiables pour les applications industrielles, car ils n’offrent aucune garantie formelle. À l’inverse, les méthodes formelles excellent dans le raisonnement logique, peuvent prouver des propriétés de programmes ou détecter des erreurs, mais sont souvent limitées en matière de passage à l’échelle.

Pour répondre à cette tension, Inria et MERCE (Mitsubishi Electric R&D Centre Europe) on monté un projet commun, appelé Défi FRAIME pour explorer, d’une part, comment les méthodes formelles peuvent fournir des garanties sur les systèmes d’IA et, d’autre part, comment l’IA peut aider les méthodes formelles à devenir plus efficaces et plus faciles à utiliser pour les praticien·nes. La vision de ce projet est d’entrelacer méthodes formelles et IA afin de concevoir efficacement des systèmes sûrs. Le projet est guidé par des cas d’usage industriels relevant des domaines d’expertise de MERCE.

Ce poste s’inscrit dans le projet FRAIME, qui offre un espace de recherche collaboratif stimulant entre 5 équipes Inria et 2 équipes MERCE, et sera l’opportunité pour la personne recrutée d’intéragir avec une vingtaine de chercheurs et chercheuses reconnu·es en méthodes formelles, génie logiciel et IA.

Le poste vise à assurer la veille, le déploiement, l’évaluation et le partage des technologies d’IA du projet, tout en accompagnant les chercheurs par une expertise pratique et en capitalisant les connaissances issues des expérimentations.

La personne recrutée aura accès aux ressources informatiques suivantes :

Elle sera basée dans les locaux du centre Inria de l’Université de Rennes, et aura des interactions fréquentes avec les équipes de MERCE (localisées à proximité immédiate) et les équipes Inria de Nantes et Paris impliquées dans le Défi FRAIME.

Mission confiée

Ce poste consiste à identifier, déployer et évaluer les technologies d’IA les plus pertinentes pour les expérimentations du projet, notamment autour des LLM et SLM. La personne recrutée assurera une veille technologique continue et mettra en place les infrastructures nécessaires au bon déroulement des travaux. Elle accompagnera les chercheurs en leur apportant une expertise pratique sur les technologies IA et en contribuant aux choix techniques du projet. Enfin, elle favorisera le partage, la capitalisation et la diffusion des connaissances acquises, notamment via de la documentation, des synthèses d’expérimentation et des présentations en réunions plénières.

Principales activités

Identification des technologies pertinentes pour les expérimentations.

Veille sur les technologies relatives au projet (LLMs, SLM).

Déploiement des infrastructures utilisables sur la durée du projet.

Mise en place de l’évaluation des expérimentations.

Transmission d’une expérience pratique des technologies IA aux chercheurs du projet ; être force de proposition sur les technologies à utiliser.

Participation au partage de savoir-faire et connaissances sur les aspects technologies de l’IA au sein du projet.

Capitalisation et mutualisation des connaissances acquises au sein du projet.

Production de synthèses sur les expérimentations réalisée, et présentation lors des réunions plénières.

Compétences techniques requises

• Maitrise de RL / LLM / SLM : fine-tuning (PEFT/LoRA), RAG, prompt engineering, quantification, optimisation de l’inférence, infrastructures techniques (déploiement local et distant).
• Capacité à conduire des expérimentations (construction de benchmarks, reproductibilité et suivi des expériences), analyser des résultats et évaluer des systèmes d’IA.
• Maîtrise des outils de développement collaboratif (Git, intégration continue, gestion de projets logiciels).
• Niveau Master ou équivalent en informatique, intelligence artificielle, mathématiques appliquées ou domaine connexe.

Atouts supplémentaires / compétences complémentaires appréciées

• Une expérience des méthodes formelles serait un plus.
• Une connaissance des technologies de mesures énergétiques serait un atout.
• Une connaissance des frameworks agentiques serait un plus.
• Maitrise de l’anglais professionnel à l’écrit et à l’oral.
• Bonne capacité de communication à l’écrit et à l’oral.
• Capacité à travailler en équ