Classification: Academic Level B (multiple positions)
Salary package: $103, 841 - 117,736 per annum plus 17% superannuation
Term: Full time, Fixed term (3 years)
- Opportunity to build own research agenda
- Embedded in diverse team
- Several positions available, depending on knowledge and interest of applicant
The Australian National University (ANU) College of Engineering and Computer Science (CECS) is a vibrant and diverse community of more than three thousand students, staff, and visitors. Our College is comprised of three schools: the School of Computing, School of Cybernetics, and School of Engineering, supported by the Professional Services Group. We aim to bring together expertise in social, technical, ecological and scientific systems to build a new approach. In the College, we draw on our disciplinary foundations to find and solve problems of global importance. Our people build on our traditional world-class expertise and take it in creative, unconventional directions. Through the Reimagine investment, we have the privilege and the responsibility to build a new legacy for the University, the country, and even the world. We will deliver on our mission by building a strong community, providing transformative educational experiences, conducting high-impact research, seeking meaningful engagement, and becoming a resilient organisation post COVID-19. Join us in shaping a new intellectual agenda to reimagine engineering, computing, and the use of technology in the world.
The School of Computing in collaboration with the Defence Science and Technology Group (DST) and the Australian Signal Directorate (ASD) is a leading centre in formal modelling, analysis and verification of safety-critical systems, aiming at trustworthy and resilient systems. The school brings together the best and brightest researchers, scholars and fostering a vibrant culture of enabling technologies for the 21st century.
The Research Fellow will develop foundations and tools for working with and developing software, with a particular emphasis on theoretically informed applications in the areas of concurrency, programming languages, and security. Foundations should be based on sound mathematical frameworks. The Postdoctoral Fellow should expect to apply any developed theory to real-world case studies, in areas such as compiler verification, capability-based security, and program synthesis. The successful candidate is encouraged to develop new and innovative research directions in their specified scientific impact domain, including relevant collaborations.
The opening is a research-focused position. However, the Research Fellow may undertake work in all three areas of academic activity—research, education, and service (including outreach). The allocation of time to each area will be discussed with the position supervisor. The Research Fellow may also be required to supervise or assist in the supervision of students and contribute cooperatively to the overall intellectual life of the School, College and University.
The Research Fellow will be a member of the School of Computing, accountable to their direct supervisor and the Director of the School. The Research Fellow will be expected to work collegially, leading by example to develop and maintain effective, productive, and beneficial workplace relationships with all academic and professional School and College staff, students and honorary appointees, as well as with industry stakeholders. This position will also have a mentoring role for students and will engage in collegial and productive collaborations with local, national, and where possible, international colleagues.
To enquire about these positions, please contact one of the following academics:
ANU is committed to building a diverse and inclusive community, and particularly welcomes applications from women, Aboriginal and Torres Strait Islander people and candidates from culturally and linguistically diverse backgrounds. Furthermore, it is practice in the ANU College of Engineering and Computer Science to actively seek a gender mix of shortlisted candidates for interview. For more information about staff equity at ANU, visit https://services.anu.edu.au/human-resources/respect-inclusion
We welcome and develop diversity of backgrounds, experiences and ideas and encourage applications from individuals who may have had non-traditional career paths, who may have taken a career break, had career disruptions or who have achieved excellence in careers outside of the higher education sector. We support applicants who require flexible arrangements in their work environments or patterns. If your experience looks a little different to what we’ve described, but you’re passionate and motivated by this position, we welcome your enquiry and application.
The ANU provides attractive benefits and excellent support to maintain a healthy work/life balance and offers generous remuneration benefits, including four weeks paid vacation per year, assistance with relocation expenses and 17% employer contribution to superannuation. This also includes generous parental leave, the possibility of flexible and part time working arrangements, a parental and aged care support program, dual career hire programs, ANU school holiday programs, and childcare facilities on campus. For more information, visit: https://services.anu.edu.au/human-resources
Applicants must apply online via the ANU recruitment portal and should upload the following separate documents:
- A detailed curriculum vitae (CV) including a full publication list and the names and contact details of at least three referees (preferably including a current or previous supervisor). If your CV does not include referees, you can complete these online when prompted in the application form.
- A statement addressing the selection criteria.
- A 1-2 page statement outlining your research objectives for the next 3 years if appointed.
The ANU conducts background checks on potential employees, and employment in this position is conditional on satisfactory results in accordance with the Background Checking Procedure, which sets out the types of checks required by each type of position.
Position Description & Selection Criteria