[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*[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://urldefense.com/v3/__https://cyclic-structures.gitlab.io/vacancies__;!!IBzWLUs!TbOv615vN5GwxsM0sZOG1mgbBhQrPeI6Qq0TnYVH8Qadr-9puUfcJV2AMnmY2GBSmeYDtVSjNdkYzL_mK21fbDRrSKZBVhlM$ ===================================================== Due to several requests, the deadline for submitting applications has been extended. The new deadline is *Monday, May 26, 2025*, 23:59 (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://urldefense.com/v3/__https://cyclic-structures.gitlab.io/vacancies/__;!!IBzWLUs!TbOv615vN5GwxsM0sZOG1mgbBhQrPeI6Qq0TnYVH8Qadr-9puUfcJV2AMnmY2GBSmeYDtVSjNdkYzL_mK21fbDRrSNik-EhI$ Deadline (extended): Submit your application until Monday, May 26, 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.pe...@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://urldefense.com/v3/__https://www.jperez.nl__;!!IBzWLUs!TbOv615vN5GwxsM0sZOG1mgbBhQrPeI6Qq0TnYVH8Qadr-9puUfcJV2AMnmY2GBSmeYDtVSjNdkYzL_mK21fbDRrSDYWCvdR$ > / <https://urldefense.com/v3/__https://www.rug.nl/fse/fc__;!!IBzWLUs!TbOv615vN5GwxsM0sZOG1mgbBhQrPeI6Qq0TnYVH8Qadr-9puUfcJV2AMnmY2GBSmeYDtVSjNdkYzL_mK21fbDRrSP1Z7Y4s$ >