Logic List Mailing Archive

Two PhD student positions and one postdoctoral position in proof systems for modal fixed point logics, Amsterdam (The Netherlands)

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam