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

Bahareh Afshari bahareh1812 at gmail.com
Sat Mar 9 02:39:04 EST 2019

*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:

Postdoctoral researcher:

More information about the FOM mailing list