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

  • 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

  • Australian National University | Canberra, Australian Capital Territory | Australia | 2 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

  • Australian National University | Canberra, Australian Capital Territory | Australia | 2 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

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

    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

Enter an email to receive alerts for software-verification-postdoc positions