Publisher
source

CNRS

Closing soon

Postdoc in Counting, Complexity, and Neurosymbolic Reasoning at CNRS CNRS in France

Degree Level

Postdoc

Field of study

Computer Science

Funding

Temporary full-time postdoctoral contract at CNRS for 35 hours per week. The post is a paid research job; no stipend amount, tuition, or fee information is provided. Start date is 1 Jan 2027.

Deadline

Oct 30, 2026

Country flag

Country

France

University

CNRS

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Mathematics
Artificial Intelligence
Knowledge Representation
Satisfaction
ML

Suggested positions

About this position

Postdoctoral opportunity at CNRS in France in computer science and mathematics, focused on counting, complexity, model counting, satisfiability (SAT), algorithms, and neurosymbolic reasoning.

The position is hosted by the Centre de Recherche en Informatique de Lens (CRIL) in Lens, France. The project, CertAI, aims to improve certified model counting for machine learning systems and to advance counting performance using recent work on normal forms for counting.

The postdoc will conduct research at the intersection of model counting and machine learning, with opportunities to contribute to a dynamic AI research team working on knowledge representation, reasoning, SAT, constraints, and related areas. The lab notes access to a stimulating environment, expert supervision, and the resources needed for the work.

Eligibility highlights: PhD or equivalent in computer science or applied mathematics; strong theoretical and/or implementation background; preferred experience in SAT, model counting, or similar topics; machine learning experience is an asset; basic French is listed.

Funding and contract: full-time temporary postdoctoral job at CNRS, 35 hours per week. No stipend amount is stated. Start date: 1 Jan 2027.

Deadline: 30 Oct 2026, 23:59 UTC.

How to apply: submit your application through the CNRS recruitment page. An Euraxess listing is also provided for reference.

Funding details

Temporary full-time postdoctoral contract at CNRS for 35 hours per week. The post is a paid research job; no stipend amount, tuition, or fee information is provided. Start date is 1 Jan 2027.

What's required

Candidates should hold a PhD degree or equivalent in computer science or applied mathematics. Strong interest in theoretical and practical computer science, satisfiability, and/or model counting is required. The post also prefers theoretical skills and/or implementation experience, preferably in SAT, model counting, or similar areas. Additional experience in machine learning theory and practice would be an asset. Basic French is listed.

How to apply

Apply through the CNRS job portal using the provided website link. A secondary application page is also listed on Euraxess for viewing or applying. Check the posting details and submit the required materials before the deadline.

More information can be found here

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?