The UK Research Institute in Verified Trustworthy Software Systems and the UK's National Cyber Security Centre have provided a fully funded 3.5-year PhD scholarship (for UK/EU students) to work on concurrency, programming languages and formal methods in Mark Batty's group at the University of Kent in Canterbury, UK. Applications are due by the 26th April 2019.
The post is suited to a wide range of applicants with formal or practical skills: you will join a team that spans theory (formal semantics, verification, proof) and practice (tool building, concurrent programming, compilation).
The project will focus on concurrency in mainstream programming languages where our work has found fundamental problems and made changes to the C and C++ standards through the International Standards Organisation (ISO). The specifications of Languages like C/C++ and Java do not adequately describe when the programmer can rely on the compiler to leave program dependencies in place, or when the optimiser is free to remove them. Removing dependencies can lead to unexpected concurrency behaviour as it enables speculative execution on the processor. Industry bodies like the ISO know that their specifications are broken and keenly await a fix. We have a fix, and we are building tools and verification techniques around it. The PhD project focusses on this area of research.
This research is part of PLAS, one of the largest programming languages research groups in Europe. It is currently ranked 17th worldwide by the independent CSrankings website: http://csrankings.org/#/index?plan&world. We provide a supportive environment for research and we have a vibrant postgraduate population. We encourage our students to engage with the wider research community through attending conferences and taking internships with leading industrial companies. We are located in Canterbury, a lively and cosmopolitan historic town with convenient travel links to London and Europe.
Mark Batty's web page: https://www.cs.kent.ac.uk/people/staff/mjb211/
Programming Languages and Systems Group: https://www.cs.kent.ac.uk/research/groups/plas/index.html
Applications process: https://www.cs.kent.ac.uk/research/studyingforaphd/howtoapply.html
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.