Job no: 0048861
Work type: Fixed Term
Division/Faculty: Melbourne School of Engineering
Department/School: School of Computing and Information Systems
Salary: $72,083 – $97,812 (Level A)
Role & Superannuation rate: Academic – Full time – 9.5% super
- Join this world-leading, multi-partner research team
- Collaborate across this world-leading research group – UMelb; UNSW & Data61
- Two (2) year Fixed Term Contract
The University of Melbourne is consistently ranked among the leading universities in the world, we are globally engaged; comprehensive; research-intensive; and committed to responding to the major challenges of our time.
Melbourne School of Engineering (MSE) has been the leading Australian provider of engineering and IT education and research for over 150 years. We are a multidisciplinary Faculty organised into three key sub-Schools; Computing and Information Systems (CIS), Chemical and Biomedical Engineering (CBE) and Electrical, Mechanical and Infrastructure Engineering (EMI). MSE continues to attract top staff and students with a global reputation, and has a commitment to knowledge for the betterment of society.
About the School of Computing and Information Systems (CIS) We are international research leaders with a focus on delivering impact and making a real difference in three key areas: data and knowledge, platforms and systems, and people and organisations.
At the School of Computing and Information Systems, you’ll find curious people, big problems, and plenty of chances to create a real difference in the world.
We are seeking a highly motivated researcher with a research background in formal methods and security. You will contribute to the development of methods for reasoning about timing channels in verified operating system kernels, applied to the seL4 kernel.
Your work will also investigate how to extend seL4’s existing proofs of information flow security, which primarily cover storage channels, to also encompass timing channels.
Further details about the research project are summarised in the following position paper:
Gernot Heiser, Gerwin Klein and Toby Murray. “Can We Prove Time Protection?” in Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS), pages 23-29, May 2019. https://arxiv.org/abs/1901.08338
You will work with a close-knit team here at University of Melbourne, led by Dr Toby Murray; and collaborate heavily with UNSW and Data61’s Trustworthy Systems group, in Sydney.
You will work with Dr Murray and PhD students on research, publication and report writing, and will have the opportunity to supervise Masters and PhD students related to the project.
Additionally, this exciting career opportunity will support you, independently and as a member of the team, to work across all four pillars of an academic career and you will have the opportunity to:
- pursue internationally leading research
- deliver teaching and teaching innovation
- engage with industry and other partner institutions
- take on leadership roles within the University
You will be able to demonstrate:
- PhD in Computer Science or a relevant discipline
- Experience in one or more of the following areas:
- program verification (e.g. Hoare logic)
- information flow security (e.g. non-interference)
- interactive theorem provers (e.g. Isabelle, Coq, etc.)
- Record of quality research as evidenced by research publications in leading conferences and journals, commensurate with opportunity
- Ability to perform independent research and a commitment to interdisciplinary research
- Capacity to communicate research concepts to technical and non-technical audiences
- Excellent written and verbal communication skills, demonstrated by presentation of research results at conferences, internal forums and through manuscript submissions
- Excellent interpersonal skills, including an ability to interact with internal and external stakeholders (academic, administrative support staff), in a courteous and effective manner.
- Ability to work independently and as part of a team
- Demonstrated capacity to develop expertise in research to undertake tasks with autonomy
- Excellent ability in analytical thinking, problem solving, maintaining accurate research records and developing new ideas
- Understanding of timing and side-channel attacks and principles (desirable not necessary)
- Experience in supervision of undergraduate and graduate students (desirable not necessary)
What we offer you
We offer flexibility, whatever that may mean for you. Many of our benefit programs and onsite amenities are aimed at supporting you – including generous leave, child care subsidies, discounted parking, medical and health care. We offer extensive opportunities for personal and professional development, and we’ll support you in doing what you love.
We seek to increase the diversity of our workforce and the representation of all members of our community that have been traditionally under-represented.
If you’re curious, motivated and ready to undertake a meaningful and rewarding role we’re ready to meet you.
How to Apply
Apply online, complete the application and upload your Cover Letter and Resume. There is no requirement to complete Selection Criteria for the role.
While we review your application, get to know us by visiting http://www.eng.unimelb.edu.au/about/join-mse/why-join-mse