Logic List Mailing Archive

CfA: PhD Studentships in Logic (Ecumenical Systems, Proof-Theoretic Semantics), London (UK), Deadline: Start before end of July 2025

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.pimentel@ucl.ac.uk
d.pym@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