En un coup d'œil
- Missions: Rejoignez un projet innovant alliant IA et méthodes formelles pour créer des systèmes sûrs.
- Entreprise: Inria, leader en recherche numérique, offre un environnement collaboratif stimulant.
- Avantages: 7 semaines de congés, télétravail possible, restauration subventionnée et accès à la formation.
- Autres infos: Opportunités de croissance professionnelle dans un cadre dynamique et innovant.
- Pourquoi ce job: Participez à des recherches de pointe et collaborez avec des experts reconnus dans le domaine.
- Qualifications: Diplôme Bac + 5 en informatique ou domaine connexe, expérience en IA souhaitée.
Le salaire estimé est compris entre 57150 - 69850 € par an.
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) ont 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’interagir 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.
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ées, 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.
Ingénieur·e de recherche en intelligence artificielle pour l’expérimentation sur la combinaison IA et méthodes formelles in Rennes employeur : Inria
Rejoindre le Centre de Services de la DSI, c'est intégrer une équipe dynamique au sein d'INRIA, où l'innovation et le soutien aux utilisateurs sont au cœur de notre mission. Nous offrons un environnement de travail collaboratif, avec des opportunités de développement professionnel, un équilibre entre vie professionnelle et personnelle grâce à des congés généreux et la possibilité de télétravail. De plus, nos employés bénéficient d'une restauration subventionnée et d'un accès à des prestations sociales et culturelles enrichissantes.
Conseils d'expert StudySmarter🤫
Voici comment nous pensons que tu pourrais décrocher Ingénieur·e de recherche en intelligence artificielle pour l’expérimentation sur la combinaison IA et méthodes formelles in Rennes
✨Participe à des meetups tech
Les meetups et les hackathons sont des super occasions pour rencontrer des gens du milieu de l'ingénierie et du développement logiciel. C'est là que tu peux échanger des idées, découvrir des projets et même te faire repérer par des recruteurs comme ceux de Inria.
✨Contribue à des projets open-source
Ne sous-estime pas le pouvoir des contributions open-source. En proposant tes compétences sur des plateformes comme GitHub, tu peux non seulement améliorer ton portfolio, mais aussi prouver ta capacité à travailler en équipe. Ça pourrait faire toute la différence dans ta candidature chez Inria.
✨Réseau sur LinkedIn, mais avec du contenu
Sur LinkedIn, partage du contenu lié à tes projets ou tes réflexions sur les tendances technologiques. Cela peut attirer l'attention de recruteurs et de professionnels du secteur. Qui sait, peut-être que quelqu'un de Inria remarquera tes posts et te contactera pour un entretien !
✨Postule directement via notre site
N’oublie pas que postuler sur le site de Inria est souvent le moyen le plus direct et efficace d'attirer l'attention. Sois proactif et n'hésite pas à postuler même si tu n'as pas tous les critères d'une offre : montrer ton enthousiasme peut faire toute la différence !
Nous pensons qu'il te faut ces compétences pour exceller en tant que Ingénieur·e de recherche en intelligence artificielle pour l’expérimentation sur la combinaison IA et méthodes formelles in Rennes
Quelques conseils pour ta candidature 🫡
Montre tes compétences techniques:Dans le secteur de l'ingénierie et développement logiciel, il est crucial de mettre en avant tes compétences techniques dans ton CV. Mentionne ton expérience avec des langages de programmation spécifiques, des frameworks, ou des projets antérieurs. N'hésite pas à intégrer des liens vers ton GitHub ou des projets personnels pour donner vie à ton profil !
Personnalise ta lettre de motivation:Avec un poste à temps plein, ta lettre de motivation doit refléter ta passion pour le développement logiciel. Explique pourquoi tu souhaites rejoindre Inria et comment tu peux contribuer à leurs projets. Parle aussi de ton intérêt à apprendre et à évoluer au sein de l'équipe.
Démontre ta capacité à travailler en équipe:Les projets de développement logiciel sont souvent le fruit d'un travail collaboratif. Mets en avant dans ton CV des expériences où tu as fait partie d’une équipe, que ce soit dans des stages, des projets universitaires ou des contributions open-source. Les soft skills, ça compte aussi !
Sois clair sur tes attentes:Dans ta candidature pour un poste à temps plein, n'hésite pas à mentionner tes attentes concernant le rôle et la culture d'entreprise. Dis-nous ce qui est important pour toi, que ce soit les technologies utilisées ou l'environnement de travail, pour que Inria sache que tu es sérieux dans ta démarche et que tu es motivé pour un engagement à long terme.
Comment te préparer à un entretien d'embauche chez Inria
✨Maîtrise des langages de programmation
Pour un poste en ingénierie et développement logiciel chez Inria, assure-toi de bien maîtriser les principaux langages demandés dans l'annonce. Prépare-toi à répondre à des questions techniques sur des projets que tu as réalisés ou même à coder en direct lors de l'entretien. Montre que tu sais comment résoudre des problèmes en temps réel !
✨Prépare ton portfolio technique
N'oublie pas d'apporter ton portfolio, surtout si tu as des projets de développement logiciel que tu peux montrer. C'est toujours un plus de pouvoir parler de ton expérience concrète et des challenges que tu as surmontés lors de tes projets précédents. Ça peut vraiment faire la différence chez Inria !
✨Compréhension des méthodologies agiles
Dans notre domaine, on utilise souvent des méthodologies agiles. Sois prêt à discuter de ton expérience avec des frameworks tels que Scrum ou Kanban. Explique comment tu as travaillé en équipe et comment cela a impacté tes projets précédents. Cela montrera ta capacité à t'adapter rapidement au sein d'équipes dynamiques.
✨Sois prêt pour des mises en situation
Attends-toi à des questions comportementales où tu devras prouver ta capacité à gérer des situations stressantes, comme des délais serrés ou des conflits au sein de l'équipe. Prépare quelques anecdotes précises sur ces expériences, car chez Inria, ils rechercheront des candidats réactifs et capables de travailler sous pression.
