Skip navigation
The Australian National University

ANU students, staff and affiliates can access internal job opportunities off-campus by Reverse Proxy Login.

Research Fellow (multiple positions)

Apply now Job no: 543320
Work type: Fixed Term
Location: Canberra / ACT
Categories: Academic

Classification: Level B

Classification: Research Fellow

Salary package: Level B, $103, 841 - 117,736 per annum plus 17% superannuation

Term: Full time, Fixed term (up to 3 years)

Postdoctoral Research Position

  • opportunity to build own research agenda
  • embedded in diverse team
  • several positions available, depending on the knowledge and interest of the applicant

College overview 

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. 

Position overview 

The Research Fellow will develop foundations and tools for specifying and verifying software, with a particular emphasis on applications in the areas of concurrency, programming languages, and security.  Foundations should be based on sound mathematical frameworks, e.g., process algebra or operational semantics. Tool support can range from frameworks within interactive proof assistants via the use of off-the-shelf model checkers to code generation. The Postdoctoral Fellow should apply the developed theory to real-world case studies, such as compiler verification, or the analysis of protocols in terms of  correctness or security. 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.

ANU values diversity and inclusion and believes employment opportunities must not be limited by socio-economic background, race, religion or gender. The University actively encourages applications from women, Aboriginal and Torres Strait Islander people and candidates from culturally and linguistically diverse backgrounds. Furthermore, it is policy in the ANU College of Engineering and Computer Science to require selection panels to seek a gender balance when compiling shortlists of candidates for interview. For more information about staff equity at ANU, visit

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, please visit

Application information

Applicants must apply online via the ANU recruitment portal and should upload the following separate documents:

  • A detailed curriculum vitae 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 they type research you would like to conduct in the position of Postdoctoral Fellow
  • Other documents, if required.

To enquire about these positions please contact one of the following academics

  • A/Prof Peter Höfner (
  • Prof Tony Hosking (
  • A/Prof Michael Norrish (
  • A/Prof Alwen Tiu (

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.

Review of your application is guaranteed if your application is received by 31 January 2022. The search will continue until the positions are filled, or until 30 June 2022, whichever comes first. 

Position Description & Selection Criteria

Advertised: AUS Eastern Daylight Time
Applications close: AUS Eastern Standard Time

Back to search results Apply now

Share this:

| More


Work type





Updated:  01 February 2019/Responsible Officer:  Director Human Resources /Page Contact:  HR Systems