Operating Systems Engineer

Sydney - Canada

Monthly Salary: Not Disclosed

Posted on: 30+ days ago

Vacancies: 1 Vacancy

Job Summary

The Opportunity

The Trustworthy Systems Group which is based within the School of Computer Science and Engineering has an opportunity for an Operating Systems Engineer. The Trustworthy Systems Group is a research group that performs world-leading work on software systems whose trustworthiness can be mathematically proved. For more information on our group go to - this role you will assist with the design implementation and quality assurance of the seL4-based high-performance LionsOS operating system along with its associated tools and application environments. You will also support external parties developing systems based on seL4/LionsOS and collaborate with engineers researchers external companies and the open-source community.

This role reports to the Lead OS Engineer and has zero to three direct reports.

Salary Level 6.1: $103866 per annum 17% superannuation
Full time
Fixed term 12 months
Location: Kensington Sydney Australia

About UNSW

UNSW isnt like other places youve worked. Yes were a large organisation with a diverse and talented community; a community doing extraordinary things. But what makes us different isnt only what we do its how we do it. Together we are driven to be thoughtful practical and purposeful in all we do. If you want a career where you can thrive be challenged and do meaningful work youre in the right place.

The UNSW-UTS Trustworthy Digital Society brings together experienced voices from both University and Industry with the aim to facilitate the creation of a digitally enabled society that is equitable inclusive and sustainable. We work towards a world where everyone can participate fully safely and confidently in the digital world. For more information please go to - School of Computer Science and Engineering is one of the largest and most prestigious schools of computing in Australia. It offers undergraduate programmes in Software Engineering Computer Engineering Computer Science and Bioinformatics as well as a number of combined degrees with other disciplines. Our research and teaching staff are world leading and world building as they advance knowledge and learning. For more information on our school go to the following link - and Experience

A bachelors degree (or near completion of) or equivalent in computer science or a related discipline.
Deep understanding of OS design and implementation issues and the ability to understand current research in computer science.
Substantial demonstrated experience in in low-level systems programming in unmanaged languages (C and assembler) as well as in scripting languages (Python Unix shell etc).
Substantial experience with seL4 usage and internals and developing kernel or seL4 user-level code.
Demonstrated experience with the effective use of development tools such as git issue trackers and continuous integration frameworks.
Effective interpersonal skills with demonstrated ability to work in close collaboration within a team of operating system developers and to communicate and interact with a diverse range of stakeholders.
Familiarity with software verification and its requirements on systems design and implementation.
Demonstrated ability to take initiative working with enthusiasm in a team collaborate across disciplines and build effective relationships.
An understanding of and commitment to UNSWs aims objectives and values in action together with relevant policies and guidelines.
Knowledge of health and safety responsibilities and commitment to attending relevant health and safety training.

Additional details about the specific responsibilities for this position can be found in the position description. This is available via

To Apply:

Please click the apply now button and submit your CV Cover Letter and Responses to the Skills and Experience. You should systematically address the Skills and Experience listed within the position description in your application.

Applicants must have full working rights in Australia and be able to be on site in Kensington on a regular basis. Visa sponsorship is not available for this appointment.

Please note applications will not be accepted if sent to the contact listed below.

Contact:

Eugene Aves Talent Acquisition Consultant

Applications close: 11:55 pm (Sydney time) on Sunday 14^th September 2025

UNSW is committed to evolving a culture that embraces equity and supports a diverse and inclusive community where everyone can participate fairly in a safe and respectful environment. We welcome candidates from all backgrounds and encourage applications from people of diverse gender sexual orientation cultural and linguistic backgrounds Aboriginal and Torres Strait Islander background people with disability and those with caring and family responsibilities. UNSW provides workplace adjustments for people with disability and access to flexible work options for eligible staff. The University reserves the right not to proceed with any appointment.

The OpportunityThe Trustworthy Systems Group which is based within the School of Computer Science and Engineering has an opportunity for an Operating Systems Engineer. The Trustworthy Systems Group is a research group that performs world-leading work on software systems whose trustworthiness can be ...