Logic List Mailing Archive

PhD student position in logical approach to verification of hyperproperties, 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/Autumn 2022

I am looking for a motivated PhD student to join the Verification group 
<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 

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,
[LOGIC] mailing list
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