PostDoc (M/F) in Counting, Complexity, and Neurosymbolic Reasoning
New
- Researcher in FTC
- 12 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
Researcher in FTC
Working hHours
Full Time
Workplace
62307 LENS
Contract Duration
12 months
Date of Hire
01/01/2027
Remuneration
3071.50
Apply Application Deadline : 30 October 2026 23:59
Job Description
Missions
As machine learning systems become increasingly prevalent in our daily lives, we need guarantees of correctness in sensitive areas. The CertAI project aims to advance in this direction by leveraging certified model counting to certify machine learning results in restricted formal contexts.
The objective of the proposed PostDoc is to work at the intersection of model counting and machine learning, with the aim of significantly improving counting performance, building on recent advances in normal forms for counting.
Activity
The PostDoc is responsible for personally carrying out research, but it is also welcome if i would assist in guiding and instructing other PhD candidates and master students in the project.
Your Profil
Skills
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 PhD degree (or equivalent) in computer science or applied mathematics and possess theoretical skills and/or implementation experience, preferably in the fields of SAT, model counting, or similar areas.
Additional experience in the theory and practice of machine learning would be an asset.
Your Work Environment
The PostDoc will take place at CRIL (Lens Computer Science Research Center), an internationally recognized laboratory renowned for its cutting-edge expertise in artificial intelligence, particularly in the areas of knowledge representation, reasoning (SAT, constraints), and model counting. The PostDoc will join a dynamic and respected team in these fields, benefiting from:
- a stimulating research environment,
- expert supervision,
- and access to the necessary equipment and resources to carry out their work.
Compensation and benefits
Compensation
3071.50
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-007 |
|---|---|
| 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.