27 software-formal-method-phd positions at AUSTRALIAN NATIONAL UNIVERSITY (ANU)

Postdoctoral Fellow/Research Fellow, College of Business and Economics

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 15 hours ago

University, University of Queensland, and University of Adelaide) of the Analytics for the Australian Grains Industry (AAGI). The Person We are looking for academics with a PhD (or who will be awarded a PhD

Postdoctoral Fellow/Research Fellow, Research School of Finance, Actuarial Studies and Statistics

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 3 hours ago

of Adelaide) of the Analytics for the Australian Grains Industry (AAGI). The Person We are looking for academics with a PhD (or who will be awarded a PhD within six months of the appointment commencement) and

Research Fellow, School of Computing

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 3 months ago

counter-example guided planning algorithms for mission and epistemic objectives. Integrate multi-modal agentic AI systems into an orchestration framework. Deliver software artefacts and demonstrators

Research Environment Specialist

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 months ago

workflows, and large-scale data analytics. You will design, build, and optimise software environments used daily by thousands of researchers across universities and national research initiatives. Your

Research Environment Specialist

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 months ago

next-generation technologies such as AI/ML, GPU acceleration, high-performance workflows, and large-scale data analytics. You will design, build, and optimise software environments used daily by

Fellow, Crawford School of Public Policy

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 29 days ago

-reviewed journals as well as actively support TTPI initiatives. This may include teaching in TTPI’s executive education programs, PhD student supervision, contributing to TTPI tax and transfer fact sheets

Lecturer, Department of International Relations

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 20 days ago

of more than 30 PhD students and 100 Master's students. For more information about the position please contact, please contact the Head of Department, Professor Cian O’Driscoll at: cian.odriscoll

Lecturer, Department of International Relations

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 16 days ago

, global governance, and changing patterns of world order. The Department is also home to a thriving community of more than 30 PhD students and 100 Master's students. For more information about the position

Postdoctoral Fellow, Research School of Biology

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month ago

nutrient conditions in their hosts. The Person To be successful in this role, you will have: A PhD degree and relevant experience in a biological or biomedical field. Experience in establishing, performing

Postdoctoral Fellow, Research School of Chemistry

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 months ago

and conferences, and collaborating with other researchers. The successful applicants will hold a relevant PhD with a track record of innovative research in peptide and protein chemistry. Applicants