Research Assistant/Associate in CHERI Operating Systems (Fixed Term)
Minderoo Centre for Technology and Democracy
Date: 9 hours ago
City: Cambridge
Contract type: Full time
Fixed-term: The funds for this post are available until 31 March 2026.
A six-month position is available for a full-time Research Assistant/Associate in CHERI Operating Systems who will contribute to the engineering of prototype CHERI-enabled operating systems, including support for userlevel collocated processes in the CheriBSD operating system.
The role will be within the new CHERI Research Centre (CRC), which performs CHERI-related research and facilitates industrial adoption of the CHERI technology. The successful candidate will contribute to designing, developing, and evaluating userlevel executives implementing high-performance IPC between multiple processes executing within the same address space. Target platforms will use the Arm Morello and CHERI-RISC-V architectures and microarchitectures.
The successful candidate for this role will have strong past engineering experience with both CHERI and CheriBSD, and be familiar with the implementation of CHERI-based IPC and compartmentalisation.
Main Responsibilities
This full-time role will include the following tasks:
Applicants should contact Professor Robert Watson for further information: [email protected]
Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.
Please provide a CV and covering letter, along with contact details of 2 referees. If you upload any additional documents which have not been requested, we will not be able to consider these as part of your application.
Please quote reference NR47298 on your application and in any correspondence about this vacancy.
The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.
The University has a responsibility to ensure that all employees are eligible to live and work in the UK.
A six-month position is available for a full-time Research Assistant/Associate in CHERI Operating Systems who will contribute to the engineering of prototype CHERI-enabled operating systems, including support for userlevel collocated processes in the CheriBSD operating system.
The role will be within the new CHERI Research Centre (CRC), which performs CHERI-related research and facilitates industrial adoption of the CHERI technology. The successful candidate will contribute to designing, developing, and evaluating userlevel executives implementing high-performance IPC between multiple processes executing within the same address space. Target platforms will use the Arm Morello and CHERI-RISC-V architectures and microarchitectures.
The successful candidate for this role will have strong past engineering experience with both CHERI and CheriBSD, and be familiar with the implementation of CHERI-based IPC and compartmentalisation.
Main Responsibilities
This full-time role will include the following tasks:
- Develop a userspace software executive enabling CHERI-based IPC between multiple processes within the same virtual address space.
- Adapt applications such as web servers and web browsers to use these facilities.
- Develop and implement an evaluation strategy for these prototypes.
- Support the creation of web and other resources to enable potential adopters to learn about CHERI.
- Support hosting of CRC events including the CHERI Blossoms 2026 conference.
- Contribute to maintaining common CRC software-engineering infrastructure such as Continuous Integration (CI) and test hardware.
- Engage with standardisation efforts such as CHERI extensions to the RISC-V architecture and memory-safety specifications.
Applicants should contact Professor Robert Watson for further information: [email protected]
Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.
Please provide a CV and covering letter, along with contact details of 2 referees. If you upload any additional documents which have not been requested, we will not be able to consider these as part of your application.
Please quote reference NR47298 on your application and in any correspondence about this vacancy.
The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.
The University has a responsibility to ensure that all employees are eligible to live and work in the UK.
How to apply
To apply for this job you need to authorize on our website. If you don't have an account yet, please register.
Post a resumeSimilar jobs
Audit Assistant Manager
BDO UK,
Cambridge
2 weeks ago
Ideas | People | TrustWe’re BDO. An accountancy and business advisory firm, providing the advice and solutions entrepreneurial organisations need to navigate today’s changing world.We work with the companies that are Britain’s economic engine – ambitious, entrepreneurially-spirited and high‑growth businesses that fuel the economy – and directly advise the owners and management teams leading them.We’ll broaden your horizons As a...
Supply Chain Service Lead
Avantor,
Cambridge
2 weeks ago
The OpportunityAvantor is looking for an experienced and motivated Supply Chain Service Lead to join our team in Cambridge, UK. In this position, you’ll take ownership of inventory operations, procurement, reporting, and team leadership. You’ll be responsible for managing stock replenishment, overseeing offsite storage, supporting service delivery, and driving continuous improvement through data analysis and collaboration. You'll be based at...
Seasonal Sales Advisor
The White Company,
Cambridge
3 weeks ago
Make Your Moments MatterChristmas is a very special time at The White Company and we need you to help spread the magic in our stores! You will be delivering PRIDE – our company values - at our most important time of year with your Dedication to your seasonal support and Passion for providing our special customers with excellent service.You will...
