<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">The Mathematical Foundations of Computation group at the University of Bath is offering a number of PhD projects for entry in September 2026. There is potential funding available from Bath's University Research Studentship Award (URSA)
scheme, which is open to both home and exceptional international students.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The projects, along with links to the full description and official adverts, are below. If you would like further details about any of the projects, please get in touch with the lead supervisor (listed first). More information about the
Mathematical Foundations of Computation group, including current members, can be found here: https://www.bath.ac.uk/teams/mathematical-foundations-of-computation-group-members/<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Early applications are encouraged, and applications may close earlier than the advertised deadline if a suitable candidate is found.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">**PROJECTS**<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">*Conceptual Denotational Semantics via Categorical Logic*<o:p></o:p></p>
<p class="MsoNormal">Pedro Henrique Azevedo de Amorim, Guy McCusker<o:p></o:p></p>
<p class="MsoNormal">https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-conceptual-denotational-semantics-via-categorical-logic/?p187697<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">*Expressiveness and complexity in proof systems*<o:p></o:p></p>
<p class="MsoNormal"><span lang="DE">Raheleh Jalali Keshavarz, James Davenport<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE">https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-expressiveness-and-complexity-in-proof-systems/?p187696<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"><o:p> </o:p></span></p>
<p class="MsoNormal">*Proof Mining: Applications of Proof Theory to Mathematics*<o:p></o:p></p>
<p class="MsoNormal">Nicholas Pischke, Thomas Powell<o:p></o:p></p>
<p class="MsoNormal">https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-proof-mining-applications-of-proof-theory-to-mathematics/?p187693<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">*Formalizing aspects of physics into interactive theorem provers*<o:p></o:p></p>
<p class="MsoNormal">Joseph Tooby-Smith, Guy McCusker<o:p></o:p></p>
<p class="MsoNormal">https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-formalizing-aspects-of-physics-into-interactive-theorem-provers/?p187690<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">*Tropical Quantifier Elimination with Real Implications*<o:p></o:p></p>
<p class="MsoNormal">Ali Uncu, James Davenport<o:p></o:p></p>
<p class="MsoNormal">https://www.findaphd.com/phds/project/faculty-of-science-ursa-project-tropical-quantifier-elimination-with-real-implications/?p186259<o:p></o:p></p>
</div>
</body>
</html>