Operating Systems Engineer

Last updated an hour ago
Job Type:Full Time

The Opportunity
  • Use your Skills and Make an Impact on CSIROs Digital Outcomes!
  • Immerse Yourself in an Inclusive Culture
  • Join CSIRO’s Data61, the Digital Innovation Arm of Australia’s Largest Science Agency, the CSIRO.

Research Projects staff in CSIRO collaborates in scientific and technological activities with other research staff usually by assisting with detailed planning, undertaking or assisting with experimental, observational or technology development work, and in carrying out the more practical aspects of the work.

The Operating Systems Engineer will develop and expand operating systems (seL4 and eChronos) and their surrounding infrastructure to bring a software platform with an unprecedented level of trust to the world. The Operating Systems Engineer will collaborate with researchers, external companies, and the open-source community.

Your duties will include:
  • Developing, maintaining, and testing projects and infrastructure on and around the seL4 operating system, including the static Camkes platform, dynamic user-level libraries, virtual machine managers on a variety of ARM, x86 and RISCV hardware.
  • Contributing to Data61s growing set of documentation, tutorials and other resources for internal team members and the open-source community as a whole.
  • Interacting with Data61s collaborators, including open-source, external companies and researchers, via our mailing list and other communication channels.
  • Working collaboratively with colleagues as part of an agile and semi-autonomous team of OS engineers to carry out tasks in support of scientific research.
  • Communicating effectively and respectfully with all staff, clients and suppliers in the interests of good business practice, collaboration and enhancement of CSIRO’s reputation.

Location: Eveleigh, NSW

Salary: AU$83k - AU$94k plus up to 15.4% superannuation

Tenure: Specified term of 18 months (Full-time)

Reference: 69672

To be considered you will need:
  • A relevant Bachelors/Masters’ Degree or equivalent experience in Computer Science, Mathematics, or similar.
  • Experience with seL4, developing kernel and user-level code.
  • Programming experience in low-level, unmanaged languages (C, assembler).
  • Programming experience in scripting languages.
  • Experience with current engineering practices including version control, continuous integration, issue tracking and code review.
  • Basic knowledge of operating systems and concepts (virtual memory, process management, etc).
  • Experience working in a collaborative team of software engineers.
  • The ability to understand current research in computer science.
  • Demonstrated ability to tackle complex problems.
  • The ability to work effectively as part of a multi-disciplinary, regionally dispersed research team, and carry out tasks autonomously in support of scientific research.
  • Demonstrated ability & willingness to contribute novel ideas and approaches in support of scientific investigations.

For full details about this role please view the Position Description


The successful applicant will be required to obtain and provide a National Police Check or equivalent.

Flexible Working Arrangements

We work flexibly at CSIRO, offering a range of options for how, when and where you work. Talk to us about how this role could be flexible for you. Balance

Diversity and Inclusion

We are working hard to recruit diverse people and ensure that all our people feel supported to do their best work and feel empowered to let their ideas flourish. Diversity and Inclusion Strategy

We are committed to the safety and wellbeing of all children and young people.


At CSIRO, Australia's national science agency, we solve the greatest challenges through innovative science and technology.

CSIRO's Data61 is the data and digital specialist arm of CSIRO. We are creating Australia's data-driven future.

Join us and start creating tomorrow today!

How to Apply

Please apply on-line and provide a cover letter and CV that best demonstrate your motivation and ability to meet the requirements of this role.

Applications Close

29th October 2020, 11:00pm AEDT