[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
