the scandinavian logic society

slideshow 1

Postdoc position in proof systems for modal fixpoint logics, Amsterdam

* University of Amsterdam, The Netherlands
* Duration: 3 years, starting September 2019 or shortly thereafter
* Deadline for applications: 28 April 2019
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a three-year position at the postdoc level on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
* For full details see
http://www.uva.nl/en/content/vacancies/2019/03/19-155-postdoctoral-resea...

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