Création d'algorithmes pour des circuits décomposables compacts (h/f)

Informations générales Organisme de rattachement CNRS Référence UMR8188-JEALAG-001 Date de début de diffusion 19/05/2026 Date de parution 20/05/2026 Date de fin de diffusion 09/06/2026 Intitulé long de l'offre Création d'algorithmes pour des circuits décomposables compacts (H/F) Date limite de candidature 09/06/2026 Nature du contrat CDD de 3 ans Versant Fonction Publique de l'Etat Catégorie Catégorie A (cadre) Nature de l'emploi Emploi ouvert uniquement aux contractuels Domaine / Métier Recherche - Chercheuse / Chercheur Statut du poste Vacant Intitulé du poste Création d'algorithmes pour des circuits décomposables compacts (H/F) Descriptif de l'employeur 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érieure et de la Recherche. Créé en 1939 et dirigé par des scientifiques, il a pour mission de faire progresser la connaissance et être utile à la société dans le respect des règles d’éthique, de déontologie et d’intégrité scientifique. 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. Contexte : La thèse se déroulera au sein du CRIL (Centre de Recherche en Informatique de Lens), un labor Voir plus sur le site emploi.cnrs.fr Conditions particulières d'exercice 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. Descriptif du profil recherché Contraintes et risques : Temps plein Oui Rémunération contractuels (en € brut/an) La rémunération est d'un minimum de 2300,00 € mensuel Localisation du poste Europe, France, Hauts de France, Pas de Calais (62) Géolocalisation du poste LENS Lieu d'affectation (sans géolocalisation) 62307 LENS (France) Critères candidat Niveau d'études / Diplôme Niveau 8 Doctorat/diplômes équivalents Spécialisation Formations générales Langues Français (Seuil)