Two PhD studentships in logic at UCL are available for UK students (UK nationals).
Candidates should have a strong background in mathematics, philosophy, or informatics / computer science - ideally to master's level - with a strong interest in logic and strong mathematical skills. Both studentships are in proof-theoretic semantics, for which UCL is a leading centre. The environment is mathematically and philosophically sophisticated and allows opportunities to engage with applications in computer science. The studentships: 1. Leverhulme Trust-funded, on the 'Ecumenical' project (Elaine Pimentel PI, David Pym Co-I, and Luiz Carlos Pereira Co-I) in proof-theoretic semantics. This studentship needs to start before the end of July 2025. It is for 4 years. 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. This studentship would ideally start in October 2025, but there is some flexibility. For more information, please contact David (d....@ucl.ac.uk) or Elaine (e.pimen...@ucl.ac.uk). General Information: EP: https://sites.google.com/site/elainepimentel/home https://sites.google.com/site/elainepimentel/home/publications---elaine-pimentel DP: https://www.cantab.net/users/david.pym/ https://www.cantab.net/users/david.pym/current.html This includes David's lecture notes on proof-theoretic semantics from the recent Midlands Graduate School (https://www.cs.nott.ac.uk/MGS/). P-tS Symposium: https://sites.google.com/view/pts-symposium-uk/ PTS-Network: https://sites.google.com/view/ptsnetwork -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
