Dear colleagues,
We have two PhD studentships in logic: ecumenical systems, proof-theoretic semantics (P-tS) and related topics, at UCL. These are for home (UK) students only. This means that non-resident students would need to pay the overseas fees in order to apply (sorry about that). 1. Leverhulme Trust-funded, on the 'Ecumenical' project (Elaine Pimentel PI, David Pym Co-I, and Luiz Carlos Pereira Co-I). This needs to start before the end of July. It is for 4 years. https://www.findaphd.com/phds/project/ecumenical-proof-theoretic-semantics-for-non-classical-and-modal-logics/?p177226 You may check the relevant publications related to this topic in my webpage: https://sites.google.com/site/elainepimentel/ 2. David Pym has funding for a 4-year studentship. He would like that to be in proof-theoretic semantics in some form. Could be proof-theoretic validity, base-extension semantics, theories in P-tS, category-theoretic analysis, modal/epistemic and more, including more applied topics. For more information please check Pym's webpage: https://www.cantab.net/users/david.pym/ These studentships are properly in pure logic in an environment that is philosophically reasonably sophisticated. Anyone interested should contact one of us directly: e.pimen...@ucl.ac.uk d....@ucl.ac.uk Thanks, best, -- Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an Athena Swan Gold award winner for gender equality UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024 ----------------------------------- -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
