Logic List Mailing Archive

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

*******************************************************
* 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/Spring 2022/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). The topic of 
the PhD project is quite flexible, but should relate to logical theory of 
verification (for more details: 
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.

Interested candidates are encouraged to contact me directly by email for 
further details (j.t.virtema@sheffield.ac 
<mailto: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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam