Ingénieur(e) de recherche H/F en XAI formelle et optimisation combinatoire
Référence : UMR7030-LOUBOU-004
- Fonction publique : Fonction publique de l'État
- Employeur : Centre national de la recherche scientifique (CNRS)
- Localisation : 93430 VILLETANEUSE (France)
Partager la page
Veuillez pour partager sur Facebook, Twitter et LinkedIn.
- Nature de l’emploi Emploi ouvert uniquement aux contractuels
-
Nature du contrat
CDD d'1 an
- Expérience souhaitée Non renseigné
-
Rémunération Fourchette indicative pour les contractuels Entre 3200 € et 3700 € bruts mensuels selon expérience € brut/an Fourchette indicative pour les fonctionnaires Non renseignée
- Catégorie Catégorie A (cadre)
- Management Non renseigné
- Télétravail possible Non renseigné
Vos missions en quelques mots
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.
Activités :
- 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.
Contexte 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).
Profil recherché
Competences :
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
Contraintes et risques :
Pas de risque
Niveau d'études minimum requis
- Niveau Niveau 7 Master/diplômes équivalents
- Spécialisation Informatique, traitement de l'information, réseau de transmission des données
Langues
- Français Seuil
Qui sommes-nous ?
Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l’Enseignement supérieur, de la Recherche et de l’Innovation.
C’est l’une des plus importantes institutions publiques au monde : 33 000 femmes et hommes (dont plus de 16 000 chercheurs et plus de 16 000 ingénieurs et techniciens), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines.
Depuis plus de 80 ans, le CNRS développe des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit entre ses missions de recherche et le transfert vers la société fait du CNRS un acteur clé de l’innovation en France et dans le monde.
Le partenariat qui lie le CNRS avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires témoignent du potentiel économique de ses travaux de recherche.
À propos de l'offre
-
Le Centre national de la recherche scientifique est l’une des plus importantes institutions publiques au monde : 34 000 femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l’international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l’innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche.
-
Vacant
-
Experte / Expert en calcul scientifique
