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-researcher-in-proof-systems-for-modal-fixpoint-logics.html