Publisher
source

Joseph Tooby-Smith

4 months ago

Computer science, mathematics, physics University of Bath in United Kingdom

Degree Level

PhD

Field of study

Computer Science

Deadline

Dec 14, 2025

Country flag

Country

United Kingdom

University

University of Bath

Social connections

How do Chinese students apply for this?

Sign in for free to reveal details, requirements, and source links.

Where to contact

Official Email

No info

Keywords

Computer Science
Mathematics
High-energy Physics
Functional Programming
Physics

About this position

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://lnkd.in/eFyZFF3G

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. Please share with anyone you think might be interested.

How to apply

Email or direct message

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?

Professors