PhD position in Proof Theory at the University of Birmingham (England)

I am looking for a motivated PhD student to joint the Theory group at the University of Birmingham. Possible start date: Autumn 2023 or later. The studentship will cover tuition fees at the UK rate and provide a tax-free stipend. International students are eligible to apply.

The proposed topic is flexible, and can be co-developed with the applicant. One idea (see link below) is to study justification logics for intuitionistic modal logics and develop their proof theory, in order to establish them as a basis of a new lambda-calculus (prototype programming language) with the intensional power to reason about its own programs. Interested candidates are encouraged to contact me directly.