Création d'algorithmes pour des circuits décomposables compacts (H/F)
Nouveau
- CDD Doctorant
- 36 mois
- Doctorat
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é
Centre de Recherche en Informatique de Lens
Type de Contrat
CDD Doctorant
Temps de Travail
Complet
Lieu de Travail
62307 LENS
Durée du contrat
36 mois
Date d'Embauche
01/10/2026
Rémuneration
La rémunération est d'un minimum de 2300,00 € mensuel
Postuler Date limite de candidature : mardi 9 juin 2026 23:59
Description du Poste
Sujet De Thèse
Contexte du Projet
À mesure que les systèmes d’Intelligence Artificielle (IA) s’intègrent de plus en plus dans des domaines sensibles, le besoin de transparence, de fiabilité et d’explicabilité devient primordial. Le projet ANR PRME Ceradoc vise à renforcer la confiance dans l’IA en exploitant des techniques de compilation de connaissances, notamment par l’optimisation des représentations en d-DNNF (Forme Normale de Négation Déterministe Décomposable).
En examinant les propriétés fondamentales des d-DNNF, ce projet s'attache à développer des méthodes pour concevoir des représentations de circuits plus compactes, tout en préservant les capacités computationnelles du langage. L'objectif final est de concevoir des outils permettant de certifier des systèmes d’IA, contribuant ainsi à leur transparence et à leur fiabilité dans des applications critiques telles que l'IA neuro-symbolique et la modélisation probabiliste.
Missions du (de la) Doctorant(e)
Intégré(e) à l'équipe du projet Ceradoc au CRIL, le (la) candidat(e) aura pour mission d'allier analyse théorique approfondie et mise en œuvre pratique. Ses travaux se concentreront sur :
- L'optimisation des représentations : Développement d’heuristiques pour la décomposition sémantique et optimisation du partage des sous-circuits.
- Le comptage de modèles pondérés : Enrichissement de la compréhension des différentes fonctions adaptées à ce comptage.
- Les représentations mixtes : Étude du potentiel des modèles combinant les d-DNNF avec d’autres langages de représentation pour faciliter la certification du comptage et réduire les temps de calcul lors des interrogations.
- Le développement logiciel : Implémentation, intégration et test des nouvelles approches de manière concrète directement au sein du compilateur d4.
Profil Recherché
Nous recherchons un(e) candidat(e) fortement motivé(e) par les aspects théoriques et pratiques de l'IA de confiance, titulaire d'un Master 2 ou d'un diplôme d'Ingénieur en Informatique ou Mathématiques Appliquées, possédant les compétences suivantes :
- Connaissances théoriques : Familiarité exigée avec les concepts de la compilation de connaissances, et une grande aisance théorique avec le langage d-DNNF.
- Excellence en programmation : Maîtrise impérative de la programmation bas niveau et haute performance. Le/la candidat(e) doit être capable de coder en C/C++, de comprendre et manipuler du code Assembleur, et de développer pour architecture GPU (CUDA/OpenCL).
- Autonomie sur les outils existants : Capacité démontrée à s'approprier un code de recherche existant et complexe (le compilateur d4) pour y apporter des modifications architecturales et algorithmiques.
- Savoir-être : Rigueur scientifique, curiosité, et capacité à travailler en équipe dans le cadre collaboratif du projet ANR Ceradoc.
Votre Environnement de Travail
La thèse se déroulera au sein du CRIL (Centre de Recherche en Informatique de Lens), un laboratoire de renommée internationale, reconnu pour son expertise de pointe en Intelligence Artificielle, et plus particulièrement dans les domaines de la représentation des connaissances, du raisonnement (SAT, contraintes) et de la compilation de connaissances. Le/la doctorant(e) rejoindra une équipe dynamique et reconnue sur ces thématiques, bénéficiant ainsi d'un environnement de recherche stimulant, d'un encadrement expert, et d'un accès aux ressources matérielles nécessaires à ses développements (notamment pour les calculs sur GPU).
Rémunération et avantages
Rémunération
La rémunération est d'un minimum de 2300,00 € mensuel
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 | UMR8188-JEALAG-001 |
|---|---|
| Section(s) CN / Domaine de recherche | Mathématiques et interactions des mathématiques |
À 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.