PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam)

[Bahareh Afshari]

*Apologies for cross posting*

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 lead by Bahareh Afshari and funded by the Dutch Research Council (NWO). The successful candidate will be part of a larger project on Proof Systems for Modal Fixpoint Logics, directed by Afshari together with Prof. Yde Venema. 

Full details and application procedure are listed at 

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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220203/e988f941/attachment-0001.html>