[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic__;!!IBzWLUs!CExOP6tMhNn1jzROTyfvqR7ZJJPwsPI9BtUIn6cZCerHFG4xYgSVjM0Umsa4jpGGLKphbPdpsZbgmQ$
<https://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic__;!!IBzWLUs!CExOP6tMhNn1jzROTyfvqR7ZJJPwsPI9BtUIn6cZCerHFG4xYgSVjM0Umsa4jpGGLKphbPdpsZbgmQ$
>
Please note currently the application system is reporting the old deadline;
this will be updated shortly.
