Skip to ContentSkip to Navigation
Research Bernoulli Institute Fundamental Computing

Vacancies

October 12, 2021: Our group has three fully-funded 4-year PhD positions available on topics in logic, proof theory and coalgebra. We are looking for excellent PhD candidates with a strong background in logic, theoretical computer science or mathematics. For more information and instructions for applying, please follow the links:


PhD Position in Non-Classical Logics through Proof Theory

Supervisor: Revantha Ramanayake <d.r.s.ramanayake rug.nl>


PhD Position in Logic, Coalgebra and Semantics of Computing

Supervisor: Helle Hvid Hansen <h.h.hansen@rug.nl>


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>


Applications received no later than 29 November 2021 (CET) will receive full consideration, but applications will be accepted until the positions are filled. The intended starting date is circa 1 March 2022 (negotiable).

Last modified:09 November 2021 1.47 p.m.