[TYPES/announce] Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)
Jorge A. Pérez
j.a.perez at rug.nl
Thu May 22 01:45:00 EDT 2025
*[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>
More information about the Types-announce
mailing list