Logic List Mailing Archive

PhD student position in cyclic proofs for modal and higher-order logic, Amsterdam (The Netherlands), Deadline: 28 Feb 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 
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
--
[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