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 - 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 – 12 months
- Location: Kensington – Sydney, Australia
About UNSW
UNSW isn’t like other places you’ve worked. Yes, we’re a large organisation with a diverse and talented community; a community doing extraordinary things. But what makes us different isn’t only what we do, it’s 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, you’re 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 - 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. 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 - https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering
Skills and Experience
- A bachelor's 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 UNSW’s 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 JOBS@UNSW.
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
E: eugene.aves@unsw.edu.au
Applications close: 11:55 pm (Sydney time) on Sunday 14th 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.
