Logic List Mailing Archive

PhD position in cyclic proofs, Amsterdam (The Netherlands), Deadline: 7 Mar 2022 (extended)

UPDATE: Deadline extended. Required documents updated.

PHD POSITION CYCLIC PROOFS FOR MODAL AND HIGHER-ORDER LOGIC, AMSTERDAM (THE NETHERLANDS)
* ILLC, University of Amsterdam
* Duration: 4 years fully-funded, starting September 2022
* Deadline for applications: Extended to 7 March 2022
* The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a fully funded four-year PhD position on the project "Cyclic Proofs for Modal and Higher-order Logic", directed by Bahareh Afshari and Yde Venema.
* For full details see

https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic <https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic>

Please note currently the application system is reporting the old deadline; this will be updated shortly.
--
[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