Skip to ContentSkip to Navigation
Research Bernoulli Institute Fundamental Computing


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>

PhD Position in Logic, Coalgebra and Semantics of Computing

Supervisor: Helle Hvid Hansen <>

PhD Position in Proof Theory of Modal Logics

Supervisors: Helle Hvid Hansen <h.h.hansen> and Revantha Ramanayake <>

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.