[TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam)

Bahareh Afshari bahareh1812 at gmail.com
Thu Feb 3 05:13:05 EST 2022


*Apologies for cross posting*

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: 28 February 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!Bpo-Y2ByQhOzdQc46fqb3kd4J1ClLw-l4GsA4XsjczR7xZbKH0Q3GbXShXy5I9CaxAckwAbqqsQylg$  <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!Bpo-Y2ByQhOzdQc46fqb3kd4J1ClLw-l4GsA4XsjczR7xZbKH0Q3GbXShXy5I9CaxAckwAbqqsQylg$ >

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220203/040991f9/attachment-0001.htm>


More information about the Types-announce mailing list