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

Inria; Rennes; On-site; EUR 52,000 - 75,000; Full time

Benefits offered by this job

Restauration subventionnée

Transports publics remboursés

Congés annuels généreux (7 semaines) +

Job summary

Inria, centre Rennes, recherche un ingénieur scientifique contractuel pour piloter l’expérimentation sur l’alliance IA et méthodes formelles dans le cadre du Défi FRAIME. Basé dans les locaux du centre Inria de l’Université de Rennes, vous collaborerez avec MERCE et les équipes Inria de Nantes et Paris pour faire progresser des cas d’usage industriels.

Le poste implique une veille technologique continue sur les LLM et SLM, le déploiement d’infrastructures et l’accompagnement des chercheurs avec

Qualifications

• Master ou équivalent en informatique/IA/maths appliquées.
• Maîtrise RL/LLM/SLM et expérimentation.
• Capacité à travailler en équipe et communiquer en anglais professionnel.

Responsibilities

• Identifier les technologies IA pertinentes pour les expérimentations.
• Veiller sur les technologies (LLMs, SLM) du projet.
• Déployer des infrastructures utilisables sur la durée du projet.
• Évaluer les expérimentations et produire des synthèses.
• Transmettre l’expérience pratique et contribuer aux choix techniques.
• Capitaliser et diffuser les connaissances via synthèses et présentations.

Skills

RL/LLM/SLM tech

Experimentation

Collaborative tools (Git/CI)

Anglais professionnel

Travail en équipe

Education

Master ou équivalent en informatique, IA ou mathématiques appliquées

Tools

Git

Intégration continue

Gestion de projets logiciels

Job description

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 é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).
• 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

• Thème/Domaine :Preuves et vérification
  Ingénierie logicielle(BAP E)
• Date de prise de fonction souhaitée :2026-12-01
• Durée de contrat :12 mois
• Date limite pour postuler :2026-12-31

Inria, l'institut national de recherche dans les sciences et technologies du numérique, est en appui de l’État pour les stratégies nationales de recherche et d’innovation du numérique en tant qu'Agence de programmes. Inria mène plus de 300 projets de recherche et d’innovation avec ses 3500 scientifiques, ingénieurs et personnels d’appui, en partenariat avec les universités et l’écosystème numérique (entreprises, entrepreneurs, acteurs publics). Ensemble, nous explorons des domaines clés comme l'intelligence artificielle, la cybersécurité, l’informatique quantique, le Cloud, la transformation numérique de la santé, les jumeaux numériques ou encore les technologies numériques pour la défense. Nous construisons des solutions concrètes telles que des logiciels, des startups technologiques, des partenariats avec les entreprises du tissu national et des formations de pointe. Notre objectif : l’impact scientifique, technologique et industriel au service de la souveraineté numérique de la France.