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 for three and a half years.

Website: https://www.jobs.ac.uk/job/CLH126/phd-studentship-logical-approach-to-verification-of-hyperproperties
Email: j.t.virtema@sheffield.ac.uk