[FOM] 2 PhD positions and 1 Postdoc position in Proof Systems for Modal Fixpoint Logics (Amsterdam)

[Bahareh Afshari]

*Apologies for cross posting*

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for two fully funded four-year PhD positions and a three-year position at the postdoc level on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema. Full details and application procedure are listed at 

PhD positions:
http://www.uva.nl/en/content/vacancies/2019/03/19-156-2-phd-candidates-in-proof-systems-for-modal-fixpoint-logics.html

Postdoctoral researcher:
http://www.uva.nl/en/content/vacancies/2019/03/19-155-postdoctoral-researcher-in-proof-systems-for-modal-fixpoint-logics.html