Logic List Mailing Archive

CfA: PhD Studentship Opportunity: Proof-Theoretic Semantics for Non-Classical and Modal Logics - Leverhulme ECUMENICAL Project, London (UK), Deadline: 3 February

Hi!

We invite applications for a four-year PhD studentship on the Leverhulme-funded project "ECUMENICAL: Proof-theoretic semantics for non-classical and modal logics," led by Dr. Elaine Pimentel, Prof. David Pym, and Prof. Luiz Carlos Pereira at UCL Computer Science, UK.

This interdisciplinary studentship, situated at the intersection of informatics, mathematics, and philosophy, is open to UK (home) students. The research will focus on developing proof-theoretic semantics for non-classical and modal logics, constructing the necessary abstract mathematical meta-theory, and investigating the implications of inferentialist semantics for systems verification. The project will build on recent advancements at UCL, including connections between the proof-theoretic foundations of logic programming and base-extension semantics, with potential exploration of applications to simulation modelling and its inferentialist interpretation.

The successful candidate will work closely with Dr. Elaine Pimentel (Computer Science), Prof. David Pym (Computer Science and Philosophy), and Prof. Luiz Carlos Pereira (Philosophy, UERJ Brazil). The student will be based within the Programming Principles, Logic, and Verification group at UCL Computer Science.

Application deadlines:

3 February 2025 (for a May 2025 start)
1 July 2025 (for an October 2025 start)

PhD Studentship Opportunity: Proof-Theoretic Semantics for Non-Classical and Modal Logics (Leverhulme ECUMENICAL Project)
https://www.findaphd.com/phds/project/ecumenical-proof-theoretic-semantics-for-non-classical-and-modal-logics/?p177226

--
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<https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>
UCL is ranked among the top ten in the QS World University Rankings 2024<https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running> and is winner of The Times and Sunday Times University of the Year 2024<https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>
-----------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php