The Department of Computer Science invites applications for PhD positions that will be funded by the Department's Reid Scholarships programme, awarded on the basis of academic excellence to new students who will commence a research programme in 2018-19.
I am looking for applicants interested in the areas of programming languages, system security, and software engineering. Please contact me for further information and for discussing potential areas for the PhD project.
A Reid Scholarship provides support of ca. £16,000 per year over 3 years for a full-time student. It also includes a fee waiver to cover fees for UK or EU students. Non-EU students are not normally eligible for the scholarship.
Applicants should have or be expecting to obtain a first class or equivalent degree in Computer Science or similar subject. In addition, applicants should be confident about their background in logic and algorithms and their programming skills. Practical experience in systems security is a plus.
For information on how to apply, please refer to the departmental pages.
Supervisor: Dr Johannes Kinder
Start date: October 2018
Duration: 4-5 years
Annual Stipend: about £20,000 (tax free)
Every day we trust our web, mobile, and desktop applications to operate correctly and to safeguard our personal data. Unfortunately, numerous security incidents have shown that often this trust is misplaced: software and systems crash, leak sensitive information, or get infected by malware. The core of the problem is usually a software bug that opened a particular vulnerability. We must identify such vulnerabilities early, before they can cause damage. Powerful methods from static and dynamic program analysis, such as symbolic execution, promise to find bugs and vulnerabilities automatically by inspecting the code and its runtime behaviour.
We are looking for qualified students to work with Dr Johannes Kinder and other members of the group in the field of program analysis and automated software verification with application to system security. This offers a unique opportunity to combine theory and practice: we are not only interested in elegant formalisms, but also in building robust tools that work on real applications. In the past, we have built tools that use temporal logic to detect malware or abstract interpretation to disassemble x86 binaries, for example.
The successful applicant will be hosted at the Department of Computer Science and the Information Security Group (ISG) of Royal Holloway, University of London. Both departments are leading research centres in their respective areas. As a result, the student will benefit from a thriving and dynamic research environment and may collaborate with PhD students and researchers with interest in the field.
The student will be enrolled in the Centre for Doctoral Training at ISG, which includes a taught course element in Information security. More information is available on the ISG's CDT web pages.
Applicants should have or be expecting to obtain a first class honours degree or a masters degree in Computer Science or similar subject. In addition, applicants should be confident about their programming skills and their background in logic and algorithms. Practical experience in systems security is a plus.
To qualify for the doctoral training centre, applicants need to satisfy EPSRC's eligibility requirements.
Applications will be reviewed on a rolling basis as they are received. For informal inquiries about the position, please contact Johannes Kinder. To apply, please use the Royal Holloway online application system.