******************************************************* * PhD position in Logical Approach to Verification of Hyperproperties * University of Sheffield, UK * Fully funded for 3.5 years for students applicable for UK Home rates * Possible times to start: ASAP/Autumn 2022 ******************************************************* I am looking for a motivated PhD student to join the Verification group (https://www.sheffield.ac.uk/dcs/research/groups/verification <https://www.sheffield.ac.uk/dcs/research/groups/verification>) of The University of Sheffield (https://www.sheffield.ac.uk/dcs <https://www.sheffield.ac.uk/dcs>). The topic of the PhD project is quite flexible, but should relate to logical theory of verification (for more details: https://www.sheffield.ac.uk/dcs/postgraduate/studentships <https://www.jobs.ac.uk/job/CLH126/phd-studentship-logical-approach-to-verification-of-hyperproperties>). 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. There is a separate (highly competitive) funding option available for one outstanding Overseas student in the department of computer science. If you are interested in applying for this for a related topic, please contact me ASAP and I can tell you more details. Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema@sheffield.ac.uk). For more details on the topic, the candidate may refer to the subsection “Logics for Verification” at http://www.virtema.fi/ <http://www.virtema.fi/>. Best wishes, Jonni