3 software-verification-postdoc Fellowship positions at Australian National University

Research Fellow

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

Postdoctoral Fellow

Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

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

Research Fellow

Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

, 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