Cyclic Structures: Application for PhD Positions

The consortium on Cyclic Structures in Programs and Proofs is looking for candidates for 6 PhD positions. Details, such as project descriptions, location(s), and supervisor(s), can be found on the vacancies page. You can apply via this form for one or several positions. Please fill in this form only once. You may save the form and complete it later. After filling in the application form, we will contact you to inform you about the next steps.

The information filled into this form will be shared between the project investigators via a common storage hosted by the Surf organisation and destroyed after the application procedure.

First Name *

Last Name *

E-Mail *

Website

http://

What is the (actual or expected) completion date of your master's degree? *

Which PhD position(s) are you interested in? Please consult the descriptions and timelines of the vacancies. *

1. PhD position: Cyclic proofs in coalgebraic modal logic (Groningen)

2. PhD position: Coalgebraic modal type theory (Leiden)

3. PhD position: Coalgebraic session protocols and Actris (Groningen)

4. PhD position: Liveness from causality analysis (Twente)

5. PhD position: First-class coinduction in proof assistants (Delft)

6. PhD position: Liveness in types and program logics (Nijmegen)

CV (PDF file) *

Motivation letter (maximally 1 page A4), in which you motivate why you would be a good fit for our consortium and the selected position(s). *

Master thesis (final or draft, PDF format). If not yet available, then please submit another sample of research-oriented writing, such as your Bachelor thesis. *

Grade transcript of bachelor and master (can be partial if studies not yet completed, PDF format) *

Please provide two contact persons that can serve as references.

Name first reference *

E-Mail first reference *

Name second reference *

E-Mail second reference *

I confirm that the two persons provided may be contacted as references for this application. *

Other remarks

* = Input is required