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
... Click here to view more detail / apply for Research Fellow
