Vos missions en quelques mots 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. Contexte : 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. Profil recherché Contraintes et risques : Thèse en 3 ans. Niveau d'études minimum requis Niveau Niveau 8 Doctorat/diplômes équivalents Spécialisation Formations générales Langues Français Seuil
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.