[TYPES/announce] PhD positions in Mathematical Foundations of Computation Group at Bath

[Thomas Powell]

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.

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://urldefense.com/v3/__https://www.bath.ac.uk/teams/mathematical-foundations-of-computation-group-members/__;!!IBzWLUs!Wx7AT7RjyzCoqVYxHQZ4xUUDxPqs2vClb1eUrcz6yF1XcFwirrWwOZAJxq-AKp3TT50IZqJdtAonbnVEMW1FD0h_-_eHAqIy$ 

Early applications are encouraged, and applications may close earlier than the advertised deadline if a suitable candidate is found.

**PROJECTS**

*Conceptual Denotational Semantics via Categorical Logic*
Pedro Henrique Azevedo de Amorim, Guy McCusker
https://urldefense.com/v3/__https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-conceptual-denotational-semantics-via-categorical-logic/?p187697__;!!IBzWLUs!Wx7AT7RjyzCoqVYxHQZ4xUUDxPqs2vClb1eUrcz6yF1XcFwirrWwOZAJxq-AKp3TT50IZqJdtAonbnVEMW1FD0h_-_6mp4xv$ 

*Expressiveness and complexity in proof systems*
Raheleh Jalali Keshavarz, James Davenport
https://urldefense.com/v3/__https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-expressiveness-and-complexity-in-proof-systems/?p187696__;!!IBzWLUs!Wx7AT7RjyzCoqVYxHQZ4xUUDxPqs2vClb1eUrcz6yF1XcFwirrWwOZAJxq-AKp3TT50IZqJdtAonbnVEMW1FD0h_-9JaGkz2$ 

*Proof Mining: Applications of Proof Theory to Mathematics*
Nicholas Pischke, Thomas Powell
https://urldefense.com/v3/__https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-proof-mining-applications-of-proof-theory-to-mathematics/?p187693__;!!IBzWLUs!Wx7AT7RjyzCoqVYxHQZ4xUUDxPqs2vClb1eUrcz6yF1XcFwirrWwOZAJxq-AKp3TT50IZqJdtAonbnVEMW1FD0h_-zKlsGUV$ 

*Formalizing aspects of physics into interactive theorem provers*
Joseph Tooby-Smith, Guy McCusker
https://urldefense.com/v3/__https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-formalizing-aspects-of-physics-into-interactive-theorem-provers/?p187690__;!!IBzWLUs!Wx7AT7RjyzCoqVYxHQZ4xUUDxPqs2vClb1eUrcz6yF1XcFwirrWwOZAJxq-AKp3TT50IZqJdtAonbnVEMW1FD0h_-zuNZweO$ 

*Tropical Quantifier Elimination with Real Implications*
Ali Uncu, James Davenport
https://urldefense.com/v3/__https://www.findaphd.com/phds/project/faculty-of-science-ursa-project-tropical-quantifier-elimination-with-real-implications/?p186259__;!!IBzWLUs!Wx7AT7RjyzCoqVYxHQZ4xUUDxPqs2vClb1eUrcz6yF1XcFwirrWwOZAJxq-AKp3TT50IZqJdtAonbnVEMW1FD0h_-5hOQk5A$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251013/21519b53/attachment.htm>