Senior engineer on Kry10's Platform Team building KOS — a security-focused operating system built on the formally verified seL4 microkernel — plus its SDKs, tooling, and prototypes for critical embedded systems. Day to day: scoping, designing, and incrementally delivering dependable OS features, libraries, and tools.
Sign in to see your match