PhD student position in logical approach to verification, Sheffield (England)

I am looking for a motivated PhD student to join the Verification group of the University of Sheffield. The topic of the PhD project is quite flexible, but should relate to logical theory of verification. The Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate (currently £15,609 for 2021/22) for three and a half years. International students are eligible to apply, however will have to pay the difference between the UK and Overseas tuition fees. Possible times to start: ASAP/Spring 2022/Autumn 2022.