The ANU School of Computing’s Computing Foundations cluster has a number of PhD scholarships to offer to students wanting to do research in our areas of research interest. We are broad in our interests, with experts in the fields of Logic, Programming Languages, Systems, Formal Methods, HCI, Theory, Algorithm Design and Software Engineering.

If you want to do cutting edge research in any of these fields, or a mix thereof, see our profiles below and get in touch with any of the staff listed. Please also contact Michael Norrish (cluster lead) for further details.

Canberra and ANU

  • Our beautiful city has been named in the top 3 healthiest and most innovative cities to live!
  • ANU is ranked 27th in the world and 1st in Australia by QS World University Rankings.
  • For information on PhD scholarships, see: ANU PhD Scholarships or CECS PhD Scholarships.

Please join us!

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

bars search times arrow-up