[TYPES/announce] Six PhD positions on “Cyclic Structures in Programs and Proofs” (The Netherlands).

[Jorge A. Pérez]

*[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", 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.
   -

   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!VEzhgY-LoN1ZJF5dcR0bVFehenUqhvSf6vBACWuTwLK32QNVHGYpJ80YdKVhZdXmtP7pTPkJ9o4C6_gEB_fj19rAwvFatp8D$ 

Deadline: Submit your application until Friday, May 23, 2025, 23:59 (CET
<https://urldefense.com/v3/__https://www.timeanddate.com/time/zones/cet__;!!IBzWLUs!VEzhgY-LoN1ZJF5dcR0bVFehenUqhvSf6vBACWuTwLK32QNVHGYpJ80YdKVhZdXmtP7pTPkJ9o4C6_gEB_fj19rAwqOpuQ9h$ >), 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>

-- 
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!VEzhgY-LoN1ZJF5dcR0bVFehenUqhvSf6vBACWuTwLK32QNVHGYpJ80YdKVhZdXmtP7pTPkJ9o4C6_gEB_fj19rAwnWJ8g1B$ >  /  <https://urldefense.com/v3/__https://www.rug.nl/fse/fc__;!!IBzWLUs!VEzhgY-LoN1ZJF5dcR0bVFehenUqhvSf6vBACWuTwLK32QNVHGYpJ80YdKVhZdXmtP7pTPkJ9o4C6_gEB_fj19rAwoNLZma6$ >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250404/4c30f5b0/attachment-0001.htm>