Doctorant (H/F) sur le thème du comptage et de la complexité
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/09/2026
Rémuneration
La rémunération est d'un minimum de 2300,00 € mensuel
Postuler Date limite de candidature : vendredi 3 juillet 2026 23:59
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.
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.