We're going to be hiring someone to work on CHERIoT software things soon. Full remote, but UK Only (for various funding purposes, we need more people in the UK). Happy to talk to junior people who have some C/C++/Rust experience. You'll initially be mostly writing C++, though we expect this to move to more Rust over the next year or so.
Some of the job will be driver development gruntwork (here is a datasheet, here is a software interface for this device class, please write a driver for the device that exposes the interface), some will be at a higher level of the stack (so, how do you design a secure, compartmentalised {something} stack?).
If these sound interesting, let me know!
EDIT: The hiring manager is going to be out for the next couple of weeks, so I'll probably be a bit slow to set up interviews / respond. If you see this in a week or two, don't assume you're too late!