Senior Research Software Engineer (Part Time, Fixed Term)

Senior Research Software Engineer (Part Time, Fixed Term)

Join to apply for the Senior Research Software Engineer (Part Time, Fixed Term) role at Cambridge Service Alliance

Senior Research Software Engineer (Part Time, Fixed Term)

2 days ago Be among the first 25 applicants

Join to apply for the Senior Research Software Engineer (Part Time, Fixed Term) role at Cambridge Service Alliance

Get AI-powered advice on this job and more exclusive features.

Fixed-term: The funds for this post are available until 31 March 2026.
A position is available for a Senior Research Software Engineer (part-time) who will develop, maintain, and promote a CHERI-extended version of the open-source seL4 operating system, as well as other CHERI-related software-engineering tasks.
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 CRC works alongside CHERI Alliance CIC, a non-profit organisation founded in part by the University of Cambridge to promote and support CHERI use.
This role will use open-source methodology to continue work on an existing prototype CHERI-extended seL4 operating system, created by Capabilities Limited, enhancing its maturity and technical capabilities, as well as build and support an open-source ecosystem and community for the project within CHERI Alliance. Key activities will include work on further memory-safety features, hypervisor support, and enabling support for arising industrial hardware platforms.
The successful candidate for this role will require strong past engineering experience with both CHERI and seL4, as well as with open-source development methodology.
Main Responsibilities
This half-time role will include the following tasks:

• Take on primary responsibility for maturing an existing CHERI-extended prototype version of the seL4 developed by Capabilities Limited.
• Coordinate open-source contributions to the recently created CHERI Alliance open-source project to maintain and promote the CHERI-extended seL4 prototype, including convening regular collaboration meetings within CHERI Alliance.
• Promote CHERI within the seL4 community and continue to further the goal of eventual upstreaming of CHERI support to that community.
• Develop tests and support for new features for the prototype, including hypervisor support for CHERI-enabled guests OS instances, such as CheriBSD and CHERI Linux.
• Develop user and programmer documentation for the prototype as required.

In addition, working within the CHERI Research Centre (CRC), contribute to the larger goals of the centre including:

• Support the creation of web and other resources to enable potential adopters to learn about CHERI and the CHERI-extended seL4.
• 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:
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 1-page 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 NR46974 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.
Apply online

Seniority level

• Seniority level

  Mid-Senior level

Employment type

• Employment type

  Part-time

Job function

• Job function

  Engineering and Information Technology

• Industries

  Education Management

Referrals increase your chances of interviewing at Cambridge Service Alliance by 2x

Get notified about new Senior Research Programmer jobs in Cambridge, England, United Kingdom .

Embedded Software Engineer – Linea Research

Embedded Software Engineer – Linea Research

Letchworth, England, United Kingdom 4 months ago

Research Software Development Engineer, MSR AI for Science

Cambridge, England, United Kingdom 6 days ago

Embedded Software Engineer – Linea Research

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

#J-18808-Ljbffr