[TYPES/announce] Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*

[Helle Hvid Hansen]

***********************************************************
* Three PhD positions in Logic, Proof Theory and Coalgebra
* University of Groningen, Netherlands
* Application deadline: 29 Nov 2021 / until filled
***********************************************************

We invite excellent PhD candidates to join us at the Fundamental 
Computing group, Bernoulli Institute for Maths, CS and AI, University of 
Groningen.

Founded in 1614, the University of Groningen is proud to number among 
the world’s top universities with a ‘Top 100’ ranking in the most recent 
ARWU Shanghai Ranking and the THE World University Rankings, among 
others. With the youngest population in the Netherlands (more than 20% 
international), Groningen is a lively, cosmopolitan city, as well as a 
very safe and eco-friendly city to live in, rated highly for quality of 
life, education, social care and healthcare.

Three fully-funded 4-year PhD positions are available:

* PhD Position in Non-Classical Logics through Proof Theory
   Supervisor: Revantha Ramanayake <d.r.s.ramanayake at rug.nl>
 
https://urldefense.com/v3/__https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PRP&cat=phd__;!!IBzWLUs!BurPY7B3IqRa-bpvTRgLYVlWH8nvo0FmMdPLkHhTwJ4Pm_fC_zUiqFEHFIwGXESXn5GI1fgInZsbYA$ 

* PhD Position in Logic, Coalgebra and Semantics of Computing
   Supervisor: Helle Hvid Hansen <h.h.hansen at rug.nl>
 
https://urldefense.com/v3/__https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PPP&cat=phd__;!!IBzWLUs!BurPY7B3IqRa-bpvTRgLYVlWH8nvo0FmMdPLkHhTwJ4Pm_fC_zUiqFEHFIwGXESXn5GI1fjBzfJB4w$ 

* PhD Position in Proof Theory of Modal Logics
   Supervisors: Helle Hvid Hansen <h.h.hansen at rug.nl> and Revantha 
Ramanayake <d.r.s.ramanayake at rug.nl>
 
https://urldefense.com/v3/__https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PQP&cat=phd__;!!IBzWLUs!BurPY7B3IqRa-bpvTRgLYVlWH8nvo0FmMdPLkHhTwJ4Pm_fC_zUiqFEHFIwGXESXn5GI1fjT9lMoSQ$ 

Applications received *no later than 29 November 2021 (CET)* will 
receive full consideration but applications will be accepted until the 
positions are filled.

Prospective candidates are encouraged to contact the respective 
supervisor to express their interest well in advance of the deadline.

Best wishes,

Helle and Revantha



-- 
Helle Hvid Hansen
Associate Professor
Fundamental Computing group
Bernoulli Institute for Maths, CS and AI
University of Groningen