Dear all, 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). # 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) 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. • Have background or research experience in any of the areas above (preferred but not required). • 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), 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> Kind regards, Henning Basold You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>