The Opportunity
The Trustworthy Systems Group has an opportunity for a Senior Operating Systems Engineer. The Trustworthy Systems Group is a large research group of over 40 people in the School of Computer Science and Engineering that performs world-leading work on software systems whose trustworthiness can be mathematically proven. Operating Systems Engineers within the Trustworthy Systems group develop and expand Operating Systems and their surrounding infrastructure to bring a software platform with an unprecedented level of trust to the world. For more information on our group go to - https://trustworthy.systems/
As a Senior Operating Systems Engineer, you will take a leading role in the design, implementation and quality assurance of the seL4-based, high-performance LionsOS operating system, associated tools and application environments. You will also support external parties in developing systems based on seL4 and LionsOS. Additionally, you will lead small teams and collaborate with other engineers, researchers, external companies, and the open-source community.
This role reports to Scientia Professor Gernot Heiser and has up to eight direct reports.
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 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 equivalent in Computer Science or a related discipline.
- Deep understanding and substantial proven experience with OS design and implementation issues and the ability to understand current research in computer science.
- Substantial, demonstrated 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 design of modular yet performant, verification-friendly, seL4-based systems.
- 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.
- Ability to manage a team and implement effective workflow and people management strategies.
- 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 (psychosocial and physical) 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 working rights in Australia and be able to be on site in Kensington regularly.
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 Monday 17th February 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.
