4 software-verification-postdoc Fellowship positions at Australian National University
Sort by
Refine Your Search
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
working with Lean interactive theorem prover and automatic verification tools such as Verus and Veil to verify properties of Rust programs in a concurrent setting. The background of using ITP’s such as Lean
-
of threatened parrot species. The role will include ecological and wildlife surveys, and the candidate must be capable and willing to undertake intensive tree-climbing surveys for endangered birds. The Postdoc
-
, computer systems and software, and theoretical foundations of computing. We span traditional and modern thinking, connecting decades of computer science methodologies with modern data and computational
-
of Computing has a strong foundation in computing and information sciences at ANU. We are a transformative centre for research in artificial intelligence and machine learning, computer systems and software, and