Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands)

Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands)

[Henning Basold]

[-- Attachment #1: Type: text/plain, Size: 3016 bytes --]

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/<https://url.au.m.mimecastprotect.com/s/mtN8CxngGkf1ZX7D5hvhZcyViYU?domain=cyclic-structures.gitlab.io>

* 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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5094 bytes --]