Logic List Mailing Archive

Three PhD student positions in Logic, Groningen (The Netherlands), Deadline: 29 Nov 2021

*******************************************************
* Three PhD positions in Logic
* 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@rug.nl>

https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PRP&cat=phd

* PhD Position in Logic and Semantics of Computing
  Supervisor: Helle Hvid Hansen <h.h.hansen@rug.nl>

https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PPP&cat=phd

* PhD Position in Proof Theory of Modal Logics
  Supervisors: Helle Hvid Hansen <h.h.hansen@rug.nl> and Revantha Ramanayake <d.r.s.ramanayake@rug.nl>

https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0008PQP&cat=phd

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam