CNRS
Closing soon
1 week ago
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
France
University
CNRS

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
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

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.