<div dir="ltr"><div>Hi!</div><div><br></div><div>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.<br><br>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.<br><br>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.<br><br>Application deadlines:<br><br>3 February 2025 (for a May 2025 start)<br>1 July 2025 (for an October 2025 start)<br><br>Application Web Page:<br><br><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/prospective-students/graduate/research-degrees/computer-science-4-year-programme-mphil-phd*programme-choice__;Iw!!IBzWLUs!UMKiN8qXytXL6IoeI_TsAkA1bzOqYgBXd3zooEFlXIQl_Qph0nPm37IU2IW5MPww5mQYpg3fQOhEjcyopgdifozB0edqb1g-H7nxKMaP$">https://www.ucl.ac.uk/prospective-students/graduate/research-degrees/computer-science-4-year-programme-mphil-phd#programme-choice</a></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr"><div style="border:0px;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline"><span style="font-size:9.75pt;font-style:inherit;font-weight:inherit">Elaine. </span><br></div><div style="border:0px;font-stretch:inherit;font-size:medium;line-height:inherit;font-family:"Segoe UI Web (West European)","Segoe UI",-apple-system,"system-ui",Roboto,"Helvetica Neue",sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0)"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr">-----------------------------------</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Elaine Pimentel</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Schools Outreach Lead</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Associate Professor in Programming Principles, Logic, and Verification </div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Department of Computer Science, Office: Room 3.11, 66-72 Gower Street</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">University College London</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">URL: <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!UMKiN8qXytXL6IoeI_TsAkA1bzOqYgBXd3zooEFlXIQl_Qph0nPm37IU2IW5MPww5mQYpg3fQOhEjcyopgdifozB0edqb1g-H3-bKvMM$" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)" target="_blank">https://sites.google.com/site/elainepimentel/</a></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline;direction:ltr"><br></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL Computer Science is an <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!UMKiN8qXytXL6IoeI_TsAkA1bzOqYgBXd3zooEFlXIQl_Qph0nPm37IU2IW5MPww5mQYpg3fQOhEjcyopgdifozB0edqb1g-H_U6AzMz$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)" target="_blank">Athena Swan Gold award winner for gender equality</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL is ranked among the <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!UMKiN8qXytXL6IoeI_TsAkA1bzOqYgBXd3zooEFlXIQl_Qph0nPm37IU2IW5MPww5mQYpg3fQOhEjcyopgdifozB0edqb1g-H-QsUblC$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">top ten in the QS World University Rankings 2024</a></u></span> and is winner of <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!UMKiN8qXytXL6IoeI_TsAkA1bzOqYgBXd3zooEFlXIQl_Qph0nPm37IU2IW5MPww5mQYpg3fQOhEjcyopgdifozB0edqb1g-H0T-5Ctm$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">The Times and Sunday Times University of the Year 2024</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(34,34,34);direction:ltr">-----------------------------------</div></div></div></div></div></div></div></div></div></div>