Adzuna logo

Senior seL4 Software Engineer

Location: Sydney CBD
Company: HAYS
Hays
Apply for this job
Unique seL4 Software Engineer with a NASDAQ-listed Automotive client


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

What you'll get in return

  • 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!

What you need to do now

If you're interested in this role, click 'apply now' to forward an up-to-date copy of your CV, or call us now.

If this job isn't quite right for you but you are looking for a new position, please contact us for a confidential discussion on your career.

LHS 297508 #2533840
Apply for this job

Salaries

The number of jobs in each salary range for all:

Similar jobs

Embedded System seL4 Architect
HAYS
Sydney CBD, New South Wales
Senior Software Engineer
125.000 - 150.000
Cubic Corporation
Sydney, New South Wales, 2000
Senior Software Engineer
DemystData
2000 Sydney NSW
Senior Software Engineer
Clarrow
Sydney CBD, NSW
Senior Software Engineer
HAYS
Sydney CBD, New South Wales