30 software-formal-method-phd positions at Australian National University in Australia
Sort by
Refine Your Search
-
. The candidate will have a passion for developing innovative instrumentation and analytical methods to enhance accelerator performance and safety. Experience with programming languages such as C++ or Python, and
-
to this project. The ideal candidate will have: Strong skills in data science, user experience design, and/or web development, with the ability to apply human-centred computing/engineering methods to digital health
-
the APS and embed connections between policymaking and academia through postgraduate scholarships. We offer two scholarships programs: the Sir Roland Wilson PhD scholarship; and the Pat Turner postgraduate
-
academic research institution for Earth sciences. The School has a reputation for international leadership and innovation, focused on developing new methods, whether experimental, analytical
-
, sound, and visual production, and be committed to continuous improvement. Proficiency in maintaining asset records, using industry-standard software, and managing administrative tasks is essential
-
. Responsibilities will include contributing to student mentorship at undergraduate and master's levels and co-supervision at MPhil and PhD levels. The Research Fellow will participate in industry and open-source
-
candidate will hold a PhD in public policy or cognate discipline in the social sciences, such as political science, economics or sociology. We seek candidates who have familiarity with policy issues in
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago
field, experience in financial operations within a complex organization, and advanced proficiency in financial software. Progress towards CPA or CA membership is highly regarded. The Area Finance and
-
will hold a PhD (or be within six months of completion) in plant science or a related field, with proven experience in independent research on plant science, plant phenotyping, or plant ecophysiology
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago
-elliptic diffusion processes which are induced by geometric flows, with the aim of producing new and robust methods of establishing convergence results for many flow processes. The level of this appointment