Post-doc in Complexity of decision problems for algebraic systems, polynomial satisfiability M/F
New
- Researcher in FTC
- 24 mounth
- 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
Laboratoire de mathématiques
Contract Type
Researcher in FTC
Working hHours
Full Time
Workplace
73376 LE BOURGET DU LAC
Contract Duration
24 mounth
Date of Hire
01/10/2026
Remuneration
Salary between €3,040 and €4,660 gross per month
Apply Application Deadline : 15 May 2026 23:59
Job Description
Missions
The postdoctoral researcher will investigate the computational complexity of decision problems in fragments of first-order logic over various fields, with a focus on determining the existence of exact and approximate solutions to systems of polynomial equations and inequalities. Some applications to the complexity of problems for stochastic games are also expected.
Activity
The postdoctoral researcher will:
* Develop algorithms to solve symbolic computation problems (real and algebraically closed fields).
* Position these problems within algorithmic complexity theory.
* Collaborate with project teams to apply these results to automated verification and game theory.
* Write research papers and present findings at conferences.
Your Profil
Skills
* PhD in mathematics or theoretical computer science, with expertise in complexity, symbolic computation, or computational algebra.
* Strong knowledge of real/algebraically closed fields theory, Boolean complexity, arithmetic circuits, and/or effective algebra.
* Fluent in English (written and oral) and ability to work in multidisciplinary teams.
Your Work Environment
The post-doc will work in the LAMA team at University Savoie Mont Blanc. He or she will be supervised locally by Sébastien Tavenas. The position is supported by a Synergy ERC project VePass lead by Mahsa Shirmohammadi (Paris), Vincent Cheval (Oxford), Véronique Cortier (Nancy), and Sébastien Tavenas (Chambéry).
The start date is flexible depending on your availability (between October 2026 and January 2027, with the contract beginning on the first of the month).
Compensation and benefits
Compensation
Salary between €3,040 and €4,660 gross per month
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 | UMR5127-LAUBAS-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.