Logic List Mailing Archive
CfA: 2 PhD-position in Proof-Theoretic Semantics, UCL - London (UK), deadline: asap
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.pym@ucl.ac.uk) or Elaine (e.pimentel@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