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

A propos du centre ou de la direction fonctionnelle
The Inria center at the University of Rennes is one of eight Inria centers and has more than thirty research teams. The Inria center is a major and recognized player in the field of digital sciences. It is at the heart of a rich ecosystem of R&D and innovation, including highly innovative SMEs, large industrial groups, competitiveness clusters, research and higher education institutions, centers of excellence, and technological research institutes.
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 :

• Ilaas : https://www.ilaas.fr/
• Albert : https://ia.numerique.gouv.fr/outils-ia/albert-api/
• Abaca : (grille interne inria)

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
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.

Soft skills

• Maitrise de l'anglais professionnel à l'écrit et à l'oral.
• Bonne capacité de communication à l'écrit et à l'oral.
• Capacité à travailler en équipe dans un contexte de recherche collaborative.
• Autonomie dans la conduite de projets et la résolution de problèmes.
• Capacité de coordination.
• Capacité à interagir avec des interlocuteur• ices issu• es de disciplines variées (IA, méthodes formelles, génie logiciel).

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 (après 6 mois d'ancienneté) et aménagement du temps de travail
• Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
• Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
• Accès à la formation professionnelle

Rémunération
monthly gross salary 2695 euros according to diploma and experience