PhD Student (M/F) interested in Counting and Complexity
- FTC PhD student / Offer for thesis
- 36 months
- Doctorate
This offer is available in English version
This offer is open to people with a document recognizing their status as a disabled worker.
Offer at a glance
The Unit
Centre de Recherche en Informatique de Lens
Contract Type
FTC PhD student / Offer for thesis
Working hHours
Full Time
Workplace
62307 LENS
Contract Duration
36 months
Date of Hire
01/09/2026
Remuneration
2300 € gross monthly
Apply Application Deadline : 03 July 2026 23:59
Job Description
Thesis Subject
Context:
As machine learning systems become increasingly present in our everyday life, we require correctness guarantees in sensitive domains. The goal of the CertAI Project is to make progress in this direction, by exploiting certified model counting to certify machine learning output in restricted formal contexts.
Profile:
The goal of the advertised PhD position is to work on the intersection of model counting and machine learning, with the idea of substantially improving counting performance, based on recently established insights of normal forms for counting. We are looking for a highly motivated candidate with a strong interest in the theoretical and practical aspects of computer science, satisfiability, and/or model counting. Candidates should hold a Master's degree (or equivalent) in Computer Science or Applied Mathematics and possess the following skills: theoretical skills and/or implementation experience, preferably in the area of sat, model counting, or similar domains. Experience with theory and practice of machine learning is desirable.
Your Work Environment
The PhD will take place at CRIL (Lens Computer Science Research Center), an internationally renowned laboratory recognized for its cutting-edge expertise in Artificial Intelligence, particularly in the areas of knowledge representation, reasoning (SAT, constraints), and model counting. The PhD candidate will join a dynamic and respected team in these fields, benefiting from a stimulating research environment, expert supervision, and access to the hardware resources necessary for their work.
Constraints and risks
3-year PhD program
Compensation and benefits
Compensation
2300 € gross monthly
Annual leave and RTT
44 jours
Remote Working practice and compensation
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
About the offer
| Offer reference | UMR8188-MARHEC-005 |
|---|---|
| CN Section(s) / Research Area | Information sciences: bases of information technology, calculations, algorithms, representations, uses |
About the CNRS
The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. Its unique position as a multi-specialist allows it to bring together different disciplines to address the most important challenges of the contemporary world, in connection with the actors of change.
Create your alert
Don't miss any opportunity to find the job that's right for you. Register for free and receive new vacancies directly in your mailbox.