<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">UPDATE: Deadline extended. Required documents updated. </div><div class=""><br class=""></div><div class="">PHD POSITION CYCLIC PROOFS FOR MODAL AND HIGHER-ORDER LOGIC, AMSTERDAM (THE NETHERLANDS)</div><div class="">* ILLC, University of Amsterdam</div><div class="">* Duration: 4 years fully-funded, starting September 2022 </div><div class="">* Deadline for applications: Extended to 7 March 2022</div><div class="">* 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.</div><div class="">* For full details see </div><div class=""><br class=""></div><div class=""><a href="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$" class="">https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic</a></div><div class=""><br class=""></div><div class="">Please note currently the application system is reporting the old deadline; this will be updated shortly.</div></body></html>