the scandinavian logic society

slideshow 1

PhD positions in proof systems for modal fixpoint logics, Amsterdam

* University of Amsterdam, The Netherlands
* Duration: 4 years fully-funded, starting September 2019 or shortly thereafter
* Deadline for applications: 14 April 2019
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for two fully funded four-year PhD positions on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
* For full details see

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.