Six PhD positions on “Cyclic Structures in Programs and Proofs”, Groningen (The Netherlands)

We invite applications for six fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs – New Harmonies in Software Correctness by Construction", funded by the Dutch Research Council (NWO).

This €3 million project aims to advance software verification through fundamental research in the following areas:
- Modal logic, proof theory, and coalgebras
- Programming languages, concurrency, and type systems
- Proof assistants (Agda, Rocq)

We seek strong, highly motivated applicants who:
- Have (or are close to completing) an MSc in Computer Science, Logic, Mathematics, or a related field.
- Have background or research experience in any of the areas above (preferred but not required).
- Have strong communication skills (oral and written) in English.