Postdoc en Comptage Complexité et Raisonnement Neuro-Symbolique H/F - CNRS

Description du Poste Les Missions Contexte:Alors que les systèmes d'apprentissage automatique deviennent de plus en plus répandus dans notre vie quotidienne, nous avons besoin de garanties d'exactitude dans les domaines sensibles. Le projet CertAI vise à progresser dans cette direction en tirant parti du comptage des modèles certifiés pour certifier les résultats de l'apprentissage automatique dans des contextes formels restreints.L'objectif du PostDoc proposé est de travailler à l'intersection du comptage du modèle et de l'apprentissage automatique, dans le but d'améliorer considérablement les performances des compteurs de modèles, en s'appuyant sur les progrès récents dans les formes normales de comptage. L'Activité L'activité principale du PostDoc sera de conduire des activités de recherche autour du comptage de modèles. Il aura aussi l'opportunité de participer à l'encadrement du doctorant et des étudiants de master impliqués dans le projet CertAI Votre Profil Compétences Nous sommes à la recherche d'un candidat très motivé avec un fort intérêt pour les aspects théoriques et pratiques de l'informatique, de la satisfaisabilité et/ou du comptage de modèles. Les candidats doivent être titulaires d'un doctorat (ou équivalent) en informatique ou en mathématiques appliquées et posséder des compétences théoriques et/ou expérience de mise en oeuvre, de préférence dans les domaines SAT, #SAT ou domaines similaires.Une expérience additionnelle dans la théorie et la pratique de l'apprentissage automatique serait un atout. Votre Environnement de Travail Le PostDoc aura lieu au CRIL (Lens Computer Science Research Center), un laboratoire internationalement reconnu pour son expertise de pointe en matière d'intelligence artificielle, en particulier dans les domaines de la représentation des connaissances, du raisonnement (SAT, contraintes) et du comptage des modèles. Le PostDoc rejoindra une équipe dynamique et respectée dans ces domaines, bénéficiant :- d'un environnement de recherche stimulant,- d'un encadrement d'experts,- d'un accès à l'équipement et aux ressources nécessaires pour mener à bien leur travail. Rémunération et avantages Rémunération 3071,50 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-007 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

• Intelligence artificielle
• Machine learning