"Operating Systems Engineer"

The Opportunity

The Trustworthy Systems Group, based within the School of Computer Science and Engineering, has an opportunity for an Operating Systems Engineer. The group performs world-leading work on software systems whose trustworthiness can be mathematically proved. For more information, visit https://trustworthy.systems/.

In 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: $103,866 per annum + 17% superannuation. Full time, fixed-term for 12 months. Location: Kensington, Sydney, Australia.

About UNSW

UNSW is a large organization with a diverse community doing extraordinary things. We are driven to be thoughtful, practical, and purposeful. For more information, visit https://www.unsw.edu.au/engineering/research-technology/research-centres-institutes/trustworthy-digital-society.

The School of Computer Science and Engineering is one of the largest and most prestigious schools of computing in Australia. For more information, visit https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering.

Skills and Experience

• A bachelor's degree (or near completion) 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 experience 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.
• Experience with development tools such as git, issue trackers, and continuous integration frameworks.
• Effective interpersonal skills, ability to work in a team, and communicate with diverse stakeholders.
• Familiarity with software verification and its requirements.
• Ability to take initiative, collaborate across disciplines, and build effective relationships.
• Understanding of and commitment to UNSW’s aims, objectives, and values.
• Knowledge of health and safety responsibilities.

To Apply

Click the apply now button and submit your CV, Cover Letter, and Responses to the Skills and Experience. Applicants must have full working rights in Australia and be able to be on site in Kensington regularly. Visa sponsorship is not available.

Contact: Eugene Aves – Talent Acquisition Consultant, Email: eugene.aves@unsw.edu.au.

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