Senior seL4 Software Engineer

Your new company

An international, NASDAQ-listed smart electronic vehicle (EV) manufacturer who's growing rapidly! They have great ambition to tackle the global EV marketplace, and at this very moment, they are looking for Software Engineers with an emphasis on seL4, L4 kernel or any microkernel experience.

Your new role

This is an extremely rare, greenfield opportunity within the microkernel technologies space as they are currently looking to set up a foothold in Sydney before pushing their brand globally. In this position, you will work extensively with and be supported by offshore developers who have strong experience in this space. You will also be working closely with Architects as you focus on system service developing, functional module validating and quality assurance programs.

What you'll need to succeed

• seL4 and OS/software experience platforms such as Linux, Fuchsia etc.
• Experience in Formal Verification
• Proven experience in writing C, or any Assembler language.
• Low-level/Hardware programming experience and debugging experience
• Strong communication skills with experience working with multiple stakeholders

• Very generous package depending on experience
• Flexible working arrangements
• Opportunity to work within one of the most exciting industries as you grow with the business!