Open position: a one-year postdoc in automata theory with
Karoliina Lehtinen at LIS, Aix-Marseille University in Marseille on topics around history-determinism, quantitative automata and synthesis, funded by the ANR project QuaSy. Within the broad topic, the project has scope to adapt to the candidate's interests.
The successful candidate will become part of the
MoVe team, which hosts research on games, automata, logic, verificatione and related topics. The team is located on the beautiful Luminy campus in the national park Parc des Calanques, at less than an hour's hike from the sea.
**************************************************************************
- Application deadline: May 31st, 2026, or until position is filled.
- Starting date: flexible, between september 2026 and march 2027
- Duration: one year
- Contact:
lehtinen@lis-lab.fr with subject line ``Postdoc QuaSy''
**************************************************************************
The ideal candidate is expected to have a PhD in computer science or maths (or closely related field) and a solid background in automata theory and foundations of computer science. The working language can be english or french, but fluency in english is expected.
To apply, please send a single pdf to
lehtinen@lis-lab.fr, with subject line ``Postdoc QuaSy'', with your:
- CV
- Publication record with links to the pdf of one or two highlighted publications
- Cover letter with a summary of research contributions so far
- Link to thesis if applicable
- Thesis jury reviews if applicable
- the emails of two people to contact for references
Do not hesitate to get in touch for further details if you are considering applying.