The successful applicant will join a thriving programming languages research group in the Department of Informatics at King’s College London. He/she will work on a project investigating how hardware capabilities can help secure programming language virtual machines.
This position requires a mix of research and engineering to understand how Virtual Machines (e.g. PyPy, V8) can be adapted to run effectively under a hardware capability system such as CHERI. After starting by experimenting with toy Virtual Machines to understand the problem, the successful applicant will start to apply the techniques learned to gradually larger VMs such as V8. Excellent programming skills (in a language such as C#/C++/Java/Rust) are required for this role as is the ability to work well with others (this project is split between Glasgow and King’s). The successful applicant will work in a friendly team with existing Virtual Machine skills.
For further information about the Department of Informatics at King’s, please see https://nms.kcl.ac.uk/luc.moreau/informatics/overview.pdf.
This post will be offered on a fixed-term contract for 36 months
This is a full-time post – 100% full time equivalent
• Conduct research within the scope of the project
• Write and/or contribute to the writing of research publications
• Implement and evaluate research methods
• Participate in dissemination activities
The above list of responsibilities may not be exhaustive, and the post holder will be required to undertake such tasks and responsibilities as may reasonably be expected within the scope and grading of the post.
Skills, knowledge, and experience
• PhD awarded in programming languages (or near completion).
• Knowledge of programming in languages such as Java/C++/C#/Rust
• Proven ability to work independently
• Excellent verbal communication skills.
• Excellent organisational skills.
• Excellent interpersonal / team-working skills
• Flexible approach to working and a desire to develop skills
• Experience in programming within Virtual Machine systems
• Experience in compilers
• Excellent written communication skills including presentation and report-writing skills.
• Strong research record in the subjects above as evidenced by publications in high quality journals and conferences.
*Please note that this is a PhD level role but candidates who have submitted their thesis and are awaiting award of their PhDs will be considered. In these circumstances the appointment will be made at Grade 5, spine point 30 with the title of Research Assistant. Upon confirmation of the award of the PhD, the job title will become Research Associate and the salary will increase to Grade 6.