Ingénieur(e) de recherche H/F en XAI formelle et optimisation combinatoire
Nouveau
- IT en contrat CDD
- 12 mois
- BAC+5
This offer is available in English version
Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.
L'offre en un coup d'oeil
L'unité
Laboratoire d'Informatique de Paris-Nord
Type de Contrat
IT en contrat CDD
Temps de Travail
Complet
Lieu de Travail
93430 VILLETANEUSE
Durée du contrat
12 mois
Date d'Embauche
15/11/2026
Rémuneration
Entre 3200 € et 3700 € bruts mensuels selon expérience
Postuler Date limite de candidature : lundi 7 septembre 2026 23:59
Description du Poste
Les Missions
- La conception et l’implémentation d’algorithmes d’approximation pour le calcul d’explications formelles (abductives, contrastives, probabilistes), reposant sur l’analyse de Fourier des fonctions booléennes, l’optimisation combinatoire (sous-modularité,
matroïdes) et la programmation par contraintes
- L’étude des propriétés structurelles (sous-modularité, supermodularité, courbure) des fonctions d’erreur considérées, en vue d’établir ou d’affiner les garanties d’approximation associées aux algorithmes développés.
L'Activité
- La conception et l’implémentation d’algorithmes d’approximation pour le calcul d’explications formelles (abductives, contrastives, probabilistes), reposant sur l’analyse de Fourier des fonctions booléennes, l’optimisation combinatoire (sous-modularité,
matroïdes) et la programmation par contraintes
- L’étude des propriétés structurelles (sous-modularité, supermodularité, courbure) des fonctions d’erreur considérées, en vue d’établir ou d’affiner les garanties d’approximation associées aux algorithmes développés.
Votre Profil
Compétences
Formation Bac+5 minimum : Master en mathématiques appliquées, en recherche
opérationnelle et aide à la décision, ou Master en informatique orienté IA
— Solides bases en optimisation combinatoire et modélisation mathématique (fonctions sous-modulaires/supermodulaires, matroïdes, algorithmes d’approximation)
— Expérience en programmation par contraintes (CSP – satisfaction de contraintes)
appliquée à des problèmes concrets de modélisation et de résolution
— Une connaissance de l’analyse de Fourier des fonctions booléennes (ou plus largement
de l’analyse harmonique discrète) appliquée à l’apprentissage automatique sera un atout
— Bonne maîtrise de la programmation Python, et idéalement de C
Votre Environnement de Travail
— Lieu : LIPN, Université Sorbonne Paris Nord, Villetaneuse ;
— Rémunération : selon la grille CNRS/ANR et l’expérience du candidat (à préciser) ;
— Financement : projet ANR JCJC FORM-XAI (ANR-25-CE23-0146).
Contraintes et risques
Pas de risque
Rémunération et avantages
Rémunération
Entre 3200 € et 3700 € bruts mensuels selon expérience
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
À propos de l’offre
| Référence de l’offre | UMR7030-LOUBOU-004 |
|---|---|
| Secteur d’activité | Informatique, Statistiques et Calcul scientifique |
| Emploi type | Expert en calcul scientifique (H/F) |
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Créer une alerte
Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail.