top of page

Energise the future of humanity

Funding opportunity for an European student on a research-oriented project at the Australian National University in Canberra.

We invite you to join us in researching technology platforms to energise the future of humanity. The project is to develop new workflows in controller verification and/or synthesis. Applicants should have a strong research interest in Model Checking, Automated Planning, or other Automated Reasoning technologies related to reasoning about dynamical transition system models. The applicant should expect to work with data and artfacts from a range of experiments, including the UK Mega Ampere Spherical Tokamak, the European Joint European Torus, and the South Korean KSTAR tokamak. Interested students should reach out to Charles Gretton, on LinkedIn or by email to


bottom of page