ANR project ALARICE is proposing two PhD contracts at the interface between computational models, discrete dynamical systems (such as cellular automata, automata networks), algorithmic complexity, finite-model theory, graph logics… one PhD candidate would be based in Marseille (group CANA) and the other in Nice (group MC3), we have two tentative subjects which may be adapted together with the candidates:
Starting date: September or October 2026 (flexible).
Duration: 3 years.
Salary: around 2300€ gross per month (around 1800€ net), and an additional teaching dutty may be paid.
Application: send a CV, your Master degree marks, and a motivation letter (telling which subject you would prefer, which may also be inspired by the full project description) by email to kevin.perrot@lis-lab.fr and richard@i3s.unice.fr before June 1st, 2026.
Feel free to ask details about the project or introduce yourself before this deadline.
Notification: mid June 2026.
The candidate should have a Master degree or equivalent in computer science or applied mathematics, with a strong background in algorithmics, graph theory or combinatorics. We welcome all nationalities and genders (speaking French is not mandatory).