Doctorant sur le Thème du Comptage et de la Complexité H/F

CNRS

Description du Poste Sujet De Thèse Contexte :Alors que les systèmes d'apprentissage automatique deviennent de plus en plus présents dans notre vie quotidienne, nous avons besoin de garanties de correction dans des domaines sensibles. L'objectif du projet CertAI est de progresser dans cette direction en exploitant le comptage certifié de modèles pour certifier les résultats de l'apprentissage automatique dans des contextes formels restreints. Profil :L'objectif de la thèse proposée est de travailler à l'intersection du comptage de modèles et de l'apprentissage automatique, avec pour idée d'améliorer significativement les performances de décompte, en s'appuyant sur des avancées récentes concernant les formes normales pour le comptage.Nous recherchons un·e candidat·e hautement motivé·e, avec un vif intérêt pour les aspects théoriques et pratiques de l'informatique, de la satisfiabilité et/ou du comptage de modèles. Les candidat·e·s doivent être titulaire d'un master (ou équivalent) en informatique ou en mathématiques appliquées et posséder les compétences suivantes :- des compétences théoriques et/ou une expérience en implémentation, de préférence dans les domaines SAT, du comptage de modèles ou similaires.- Une expérience en théorie et pratique de l'apprentissage automatique serait un atout. Votre Environnement de Travail La thèse se déroulera au CRIL (Centre de Recherche en Informatique de Lens), un laboratoire internationalement reconnu pour son expertise de pointe en intelligence artificielle, notamment dans les domaines de la représentation des connaissances, du raisonnement (SAT, contraintes) et du comptage de modèles. Le·a doctorant·e intégrera une équipe dynamique et respectée dans ces domaines, bénéficiant :- d'un environnement de recherche stimulant,- d'un encadrement expert,- et d'un accès aux ressources matérielles nécessaires à la réalisation de ses travaux. Contraintes et risques Thèse en 3 ans. 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-MARHEC-005 Section(s) CN / Domaine de recherche Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations À 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. Le CNRS Les métiers de la recherche