Phd : Arithmetic circuits complexity, word problems M/F
- FTC PhD student / Offer for thesis
- 36 mounth
- BAC+5
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
FTC PhD student / Offer for thesis
Working hHours
Full Time
Workplace
73376 LE BOURGET DU LAC
Contract Duration
36 mounth
Date of Hire
01/10/2026
Remuneration
2300 € gross monthly
Apply Application Deadline : 19 May 2026 23:59
Job Description
Thesis Subject
One of the questions is to investigate the problem of deciding whether two strings generated by formal grammars are equal. While polynomial-time and randomized parallel algorithms are known, the existence of efficient deterministic parallel solutions remains open. The research will be conducted within a recent framework that models grammar-generated strings as specialized skew arithmetic circuits, connecting formal language theory with arithmetic circuit complexity. The PhD student will first carry out an in-depth study of the literature and existing techniques.
Your Work Environment
The student will work in the LAMA team at University Savoie Mont Blanc at le Bourget du Lac. 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).
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 | UMR5127-LAUBAS-006 |
|---|---|
| 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.