This Research Associate position will work to enhance the security of VM-based languages (think: Java, Lua, Ruby, Python, etc.) by adapting them to work under the hardware capability system 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 candidate will require excellent software development skills. They will join a friendly research team with existing CHERI skills and direct access to Morello hardware.
This post will be offered on an a fixed-term contract for 18 months or until March 2024 when the project ends.
This is a full-time post – 100% full time equivalent
- Conduct research on adapting programming lanugae VMs to CHERI
- Investigate performance and security consequences of compartmentalisation
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.