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

Description du poste

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’expert

Annonce publiée sur Indeed et reprise par Intelligence Academy. Seule l'annonce d'origine fait foi ; nous ne sommes pas l'employeur.