*[Apologies for cross-posting; please forward to any good students you might know.]* 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" https://cyclic-structures.gitlab.io/vacancies Deadline approaching! Submit your application until Friday, *May 23, 2025*, 23:59 (CET <https://www.timeanddate.com/time/zones/cet>). About the Project 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). Funded by the Dutch Research Council (NWO), this consortium brings together researchers from different universities: - Bahareh Afshari (University of Gothenburg) - Henning Basold (Leiden University) - Marcello Bonsangue (Leiden University) - Georgiana Caltais (University of Twente) - Jesper Cockx (TU Delft) - Helle Hvid Hansen (University of Groningen) - Robbert Krebbers (Radboud University Nijmegen) - Jorge Pérez (University of Groningen, Principal Investigator) Candidate Profile We seek strong, highly motivated applicants who: - Have (or are close to completing) an MSc in Computer Science, Logic, Mathematics, or a related field. - Preferably have background or research experience in any of the areas above. - Have strong communication skills (oral and written) in English. Position Details - The six PhD positions are fully funded, employed positions for four years. The conditions of employment follow the Collective Labour Agreement for Dutch Universities. - Candidates will be based in and employed by one of the participating universities and collaborate with national and international partners. How to Apply For full details about the six positions and to submit your application, visit: https://cyclic-structures.gitlab.io/vacancies/ Deadline: Submit your application until Friday, May 23, 2025, 23:59 (CET <https://www.timeanddate.com/time/zones/cet>), for full consideration. Applications will be reviewed until all positions are filled. Starting date: We expect positions to start in September 2025 (or soon thereafter). Some flexibility is possible, depending on the position. Questions and informal inquiries: Please contact Jorge Pérez (Principal Investigator) at <j.a.perez@rug.nl> -- Jorge A. Pérez Associate Professor Leader, Fundamental Computing group Bernoulli Institute for Math, CS and AI University of Groningen, The Netherlands <https://www.jperez.nl> / <https://www.rug.nl/fse/fc>