[TYPES/announce] Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)

[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"


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.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!TbOv615vN5GwxsM0sZOG1mgbBhQrPeI6Qq0TnYVH8Qadr-9puUfcJV2AMnmY2GBSmeYDtVSjNdkYzL_mK21fbDRrSDYWCvdR$ >  /  <https://urldefense.com/v3/__https://www.rug.nl/fse/fc__;!!IBzWLUs!TbOv615vN5GwxsM0sZOG1mgbBhQrPeI6Qq0TnYVH8Qadr-9puUfcJV2AMnmY2GBSmeYDtVSjNdkYzL_mK21fbDRrSP1Z7Y4s$ >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250522/75fa830e/attachment-0001.htm>