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 

Full details and application procedure are listed at

[LOGIC] mailing list
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