Publisher
source

Joseph Tooby-Smith

5 months ago

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

Degree Level

PhD

Field of study

Computer Science

Funding

Full funding available

Deadline

December 31, 2026
Country flag

Country

United Kingdom

University

University of Bath

Social connections

How do I apply for this?

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

Where to contact

Official Email

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.

Funding details

Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.

How to apply

Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.

Ask ApplyKite AI

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

Professors