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) Please contact: e.pimentel@ucl.ac.uk<mailto:e.pimentel@ucl.ac.uk> or d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk> or luiz@inf.puc-rio.br<mailto:luiz@inf.puc-rio.br> for more information. — Prof. David J. Pym Professor of Information, Logic, and Security Department of Computer Science & Department of Philosophy Head of Programming Principles, Logic, and Verification University College London Research Fellow and Director of the Centre for Logic & Language, Institute of Philosophy, University of London Director, UCL Centre for Doctoral Training in Cybersecurity Editor-in-Chief, OUP Journal of Cybersecurity d.pym@ucl.ac.uk www.cs.ucl.ac.uk/people/D.Pym.html www.cs.ucl.ac.uk/staff/D.Pym/ You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>