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

Contenu principal

Accessibilité

Contact

Mentions légales

Menu

Fermer

FR EN

Se connecter

Offres d'emploi Inria >

Offre n°2026-10633

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

Télécharger l'offre au format PDF

Type de contrat : CDD

Contrat renouvelable : Oui

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

Fonction : Ingénieur scientifique contractuel

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

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

Postuler à cette offre

Partager

Facebook

Linkedin

Twitter

Email

Informations générales

Thème/Domaine : Preuves et vérification

Ingénierie logicielle (BAP E)

Ville : Rennes

Centre Inria : Centre Inria de l'Université de Rennes

Date de prise de fonction souhaitée : 2026-12-01

Durée de contrat : 12 mois

Date limite pour postuler : 2026-12-31

Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.

Consignes pour postuler

Please submit online : your resume, cover letter and letters of recommendation eventually

Sécurité défense :

Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

Politique de recrutement :

Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

Contacts

Équipe Inria : DEVINE

Recruteur :

Bertrand Nathalie /

A propos d'Inria

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.

Plan du site

Contact

Mentions légales

Accessibilité : totalement conforme