Senior Software Engineer
Summary
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.
About us
Kry10 is a global technology company providing foundational security across critical embedded and agentic systems.
We work with those responsible for critical systems. From the operators to architects to strategic leaders working across critical national infrastructure, healthcare, defense, telecommunications, transportation. All the people who can’t afford to get it wrong.
Our focused and growing team across the USA, UK, Australia and New Zealand builds resilience into the critical systems society depends on every day.
Our foundations are mathematically proven. KOS, our operating system based on a formally verified foundation, is built on seL4®, the world’s most highly assured microkernel. We bring mathematical assurance to critical infrastructure, building resilience deep into the technology, right from the foundation.
Because critical should mean certain.
About the role
The role builds KOS, the tooling and context to make it useful, and prototypes that prove it, so customers can deliver secure, correct systems. The role starts from customer problems, considers experiential, business, and technical trade-offs, and delivers value early and incrementally, preserving the business's options for what comes next. The role works within the Platform Team to serve its customers: in-market engineering teams, design and business stakeholders, and end-customers.
Key responsibilities
Prioritise work with an understanding of experiential, business, and technical needs; priorities reflect stakeholder reasoning and customer feedback
Realise value earlier and incrementally; big projects and features are broken into independently valuable tasks
Scope and sequence work with engineers, designers, and leadership; tasks and order are communicated and agreed before build starts and revised collaboratively
Make decisions which weigh experiential, business, and technical trade-offs; consequential decisions are recorded and communicated, with options and rationale explained
Articulate designs so others can follow, challenge, and improve them; designs are written, reviewed, and revised in response to challenges
Mature platform through each feature; contributions add new platform capabilities instead of one-off solutions
Deliver OS features people can depend upon; changes are integrated and used without repeated rework
Deliver library and tooling features that enable engineers and agents; changes adoptable from documentation alone and reported frictions get fixed
Make prototypes which demonstrate novel capabilities; stakeholders can use them to make decisions
Take work through review and into a release; review feedback gets prompt response, and blockers get chased instead of waited upon
Experience and Capabilities
Essential
Deep experience building an SDK, toolchain, or library that other engineers shipped on
Right to work in Australia or New Zealand
Preferred
Deep experience developing with Rust and proficient in C
Experience building applications with user interfaces like console, native, or web
Experience building low-level components like device drivers, board support packages, bootloaders, hypervisors, or language runtimes
Experience with microkernels or separation kernels (e.g. seL4, QNX, Zephyr, or similar)
Professional experience with complex build systems (e.g. in Nix, Yocto, Bazel)
Located in Sydney, Melbourne, or Wellington How to Apply
Step 1: Send us a short note telling us about something you’ve made and why this is the work that demonstrates your skill best along with your resume, so we know what you’ve been up to.
Step 2: Chat with us. If successful in advancing to this stage, we will arrange an interview so that we can learn more about your past work and to learn more about the thing you’ve made
Step 3: Work with us. If successful, we’ll get you to try out a real problem with us so we can see what it’s like to work with each other.
Please submit your Resume and Short Note to recruitment@kry10.com with the subject line:
Platform Senior Software Engineer: [Your Name]
If you would like a copy of the full Position Description please email recruitment@kry10.com.