Skip to main content

This job has expired

Research Fellow, School of Computing

Canberra, Australia
$110,162 - $124,903 per annum plus 17% superannuation
Closing date
30 Apr 2024

View more

Job Details

Classification: Academic Level B
Salary package: $110,162 - $124,903 per annum plus 17% superannuation
Term: Full time, Fixed Term (Up to 23 months) 

  • Research and develop new representations and/or algorithms for reasoning about large/challenging SAT/SMT problems. 
  • Opportunities to work with, and adjacent to practitioners who bring challenges from the real-world to the research project consortium.   
  • Progress your program of research in a community of highly engaged colleagues at one of the world's top research universities.
  • Live, work and play, in one of the world's most "livable" cities, Canberra, Australia.  

About the College

The ANU by 2025 Strategic Plan calls for the University to serve society through transformational research and education. As one of the great universities of the world, ANU is driven by a culture of excellence in everything we do. Our lived experience is increasingly one of large-scale systems of people, whose actions and interactions are influenced by our digital, physical and biological environment. The ANU College of Engineering, Computing and Cybernetics (CECC) hosts three of the key disciplines necessary to help us design, build, regulate and secure the future. 

We welcome and openly acknowledge differences in expertise, research / education / professional focus, experience and perspective.

CECC is a vibrant and diverse community of more than three thousand students, staff, and visitors. Our College comprises three schools: the School of Computing, School of Cybernetics, and School of Engineering, supported by the Professional Services Group.

The School of Computing has a strong foundation in computing and information sciences at ANU. We are a transformative centre for research in artificial intelligence and machine learning, computer systems and software, and theoretical foundations of computing. We span traditional and modern thinking, connecting decades of computer science methodologies with modern data and computational science. Our mission is motivated by the need to design, drive and sustain strategic activities via five broad focus areas: Computing Foundations, Computational Science, Intelligent Systems, Data Science and Analytics, and the Software Innovation Institute. Be part of an innovative and forward-looking intellectual agenda, built on a diverse, inclusive culture.

About the opportunity

This position is fixed term for a period of up to 24 months to contribute research on a project that seeks to advance our knowledge and understanding of how to leverage heterogeneous computing environments to solve SAT/SMT problems. All applications, including from PhD candidates that are submitting imminently will be considered seriously.

The candidate is expected to investigate the potential uses of accelerators, such as are nowadays typical in hybrid HPC environments, to improve the resource usage and walltime performance of distributed search for solving SAT/SMT problems.

This research intensive role will involve day to day mentoring and supervision of undergraduate and higher-degree research students.

Applications are particularly invited from researchers who undertake high impact collaborative and cross-disciplinary research, and whose interests and expertise contribute to the School, and College.

Longer term and/or ongoing appointment may be offered in exceptional cases subject to performance and budget availability as well the candidate’s demonstrated capability and desire to complement the College’s strategic agendas in teaching, research and broader engagement within the University and community.

For further information, please contact Associate Professor, Charles Gretton via T: +61 6125 4001, E: 

The University actively encourages applications from Aboriginal and Torres Strait Islander people. For more information on employment opportunities, contact our Indigenous Employment Consultant on 

ANU values diversity and inclusion and is committed to providing equal employment opportunities to those of all backgrounds and identities. For more information about staff equity at ANU, visit

What we offer

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. We also offer generous parental leave, the possibility of flexible and part time working arrangements, a parental and aged care support program, dual career hire programs, staff and family tuition fee discounts, ANU school holiday programs, and childcare facilities on campus. For more information, visit:  

Application information

In order to apply for this role, please make sure you upload the following documents via the ANU recruitment portal: 

  • A detailed curriculum vitae (CV) including 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 1-2 page statement addressing the selection criteria.
  • A 1-2 page statement outlining your research objectives for the next 3 years if appointed
  • A 1-2 page statement outlining your approach to coursework education and student project supervision. 
  • A statement addressing past and/or potential contributions to diversity through research, teaching, and/or service. 
  • Achievement relative to opportunity statement where appropriate
  • Other documents, if required. 

Applications which do not address the selection criteria may not be considered for the position.

Please note: The successful candidate must have rights to live and work in this country and will be required to undergo a background check during the recruitment process. An offer of employment is conditional on satisfactory results.


Company info
+61 (2) 6125 5111
ACT 0200

Get job alerts

Create a job alert and receive personalised job recommendations straight to your inbox.

Create alert