[TYPES/announce] PhD funding in logic at UCL

[Elaine Pimentel]

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://urldefense.com/v3/__https://www.findaphd.com/phds/project/ecumenical-proof-theoretic-semantics-for-non-classical-and-modal-logics/?p177226__;!!IBzWLUs!XoblXB7xkm5HSJoYjWtu0AQtvem-gXQHBG644HM03-33_g31qcdgFCMJuoK7Xpvlt6bkH4P15QMOEML5MBtlQXJ8eHUfj5JMkTDa7wQ9$ 

You may check the relevant publications related to this topic in my webpage:

https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!XoblXB7xkm5HSJoYjWtu0AQtvem-gXQHBG644HM03-33_g31qcdgFCMJuoK7Xpvlt6bkH4P15QMOEML5MBtlQXJ8eHUfj5JMkQXDs793$ 

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://urldefense.com/v3/__https://www.cantab.net/users/david.pym/__;!!IBzWLUs!XoblXB7xkm5HSJoYjWtu0AQtvem-gXQHBG644HM03-33_g31qcdgFCMJuoK7Xpvlt6bkH4P15QMOEML5MBtlQXJ8eHUfj5JMkRB-5nOX$ 

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 at ucl.ac.uk
d.pym at 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://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!XoblXB7xkm5HSJoYjWtu0AQtvem-gXQHBG644HM03-33_g31qcdgFCMJuoK7Xpvlt6bkH4P15QMOEML5MBtlQXJ8eHUfj5JMkQXDs793$ 

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
-----------------------------------