PhD position in Logical Approach to Verification of Hyperproperties, Sheffield (England)

I am looking for a motivated PhD student to join the Verification group of The University of Sheffield. Fully funded for 3.5 years for students applicable for UK Home rates. Possible times to start: Autumn 2022/Spring 2023.

The topic of the PhD project is quite flexible, but should relate to temporal logics for verification. PhD topics related to logical foundations of probabilistic data and complexity theory utilising real numbers is also possible, please contact me directly for details. 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. Interested candidates are encouraged to contact me directly.