PhD position at Bath in physics and Lean

Stream: job postings

[Joseph Tooby-Smith]

I have an opening for a PhD position starting September 2026 at the University of Bath. The PhD will focus on the use of interactive theorem provers (primarily Lean) in physics, and help develop PhysLean.

The full advert and conditions can be found at:

https://www.findaphd.com/phds/project/faculty-of-science-ursa-phd-project-formalizing-aspects-of-physics-into-interactive-theorem-provers/?p187690

Importantly the deadline is: Sunday, December 14, 2025

The research you will undertake is interdisciplinary between computer science, mathematics and physics. However it is not expected that you have a background in all three of these areas. It is expected you will have a background in computer science, with a strong foundation in functional programming and mathematics, a background in theoretical physics with an interest in programming, or a background in mathematics with an interest in programming and physics.

If you have any questions feel free to email me or dm me on here (preferred). Please share with anyone you think might be interested.

[Joseph Tooby-Smith]

This is open for a couple more weeks, but if anyone is still thinking of applying, I would strongly recommend to "submit your formal application as early as possible" (to quote the full advert).