PhD student position in Cyclic Proofs for Modal and Higher-order Logic, University of Amsterdam
published: 2022-01-26
deadline: 2022-02-28
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a fully funded four-year PhD position on the project Cyclic Proofs for Modal and Higher-order Logic lead by Bahareh Afshari and funded by the Dutch Research Council (NWO). The successful candidate will be part of a larger project on Proof Systems for Modal Fixpoint Logics, directed by Afshari together with Prof. Yde Venema.
Full details and application procedure are listed at