[Agda] Six PhD positions on “Cyclic Structures in Programs and Proofs” (The Netherlands)

[Jesper Cockx]

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 at rug.nl>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250415/2155404d/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 644 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250415/2155404d/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 343 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250415/2155404d/attachment.sig>