Testing and synthesis of compiler-generated debugging information
About the Project
There is a fully funded 3.5-year PhD studentship available to conduct research full-time on the topic of compiler-generated debugging information, most likely on its reliability and/or expressiveness, in the context of production compilation toolchains (LLVM, GCC). The student will join Dr Kell's ongoing research programme on these topics. The studentship is supported by a combination of EPSRC funding and industry donations.
Eligibility criteria
- First-class degree in Computer Science or demonstrable equivalent
- Familiarity with compiler toolchains
- Excellent C++ programming skills
- Experience working independently
- Desirable: familiarity with research methods and some related literature
- Desirable: some professional software development experience
Application Process
To be considered for the position candidates must apply via King’s Apply online application system. Details are available at the How to apply: Research courses | King's College London.
Please apply for PhD in Computer Science, indicate Stephen Kell as the supervisor and quote the project title in your application and all correspondence.
Please ensure to add the studentship code 981 in the Funding section of the application form. Please select option 5 ‘I am applying for a funding award or scholarship administered by King’s College London’ and type the code into the ‘Award Scheme Code or Name’ box. Please copy and paste the code exactly.
The selection process will involve a pre-selection on documents and, if selected, will be followed by an invitation to an interview. If successful at the interview, an offer will be provided in due course.
Funding Notes
Stipend: £23,800 for Oct 2026/27, subject to increase
Research, Training & Support Grant: £1,500 per annum
Tuition fees: covered in full
Unlock this job opportunity
View more options below
View full job details
See the complete job description, requirements, and application process