[TYPES/announce] Fwd: Fully-funded PhD studentship with Mark Batty at the University of Kent

Mark Batty mbatty at cantab.net
Mon Jun 11 05:26:17 EDT 2018


The UK Research Institute in Verified Trustworthy Software Systems
<https://vetss.org.uk/funded-proposals> and the UK's National Cyber
Security Centre <https://www.ncsc.gov.uk/> have provided a PhD studentship
to work with Mark Batty at the University of Kent in Canterbury, UK. The
position is part of the "Specification and verification of C++ data
structure libraries" project.

Details and how to apply: https://www.cs.kent.ac.
uk/people/staff/mjb211/studentship/studentship.htm

The studentship covers UK/EU fees, a travel budget and a stipend for 3.5
years. There is an option to teach, but no requirement. Non-EU students are
welcome to apply but are subject to higher fees and would need to find
funding for the difference. The position starts in September 2018.
Applicants must have, or be about to complete a degree in Computer Science
or Mathematics at the BSc or MSc level.

Please do contact Mark Batty <M.J.Batty at kent.ac.uk> if you are interested (
m.j.batty at kent.ac.uk).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180611/958c120c/attachment.html>


More information about the Types-announce mailing list