We fund research students and postdocs, so please get in touch by emailing alex.potanin@anu.edu.au or any other faculty below!

We are actively hiring Postdocs, please apply here (applications considered as they come in as this is a rolling advertisement): https://jobs.anu.edu.au/cw/en/job/547772/research-fellow-multiple-positions

Please see individual staff web pages for more information on their research, but some examples include:

  • Dr Yatapanage’s research interests are formal methods for the verification of systems which require a high level of assurance, such as safety-critical and concurrent systems;
  • Dr Potanin is interested in object capabilities and secure programming language design, extending his work on the Wyvern programming language and getting module systems of general purpose languages like Rust to respect secure software architecture, as a side interested they are interested in agricultural pollution tracking via a decentralised marketplace;
  • Dr De Groot has a background in abstract logic and works on protocol verification for protocols with algebraic operators.

People

Academics

Research Staff

Research Fellows

Research Students

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.

envelope building arrow-right phone arrow-left bars search times arrow-up