2 software-verification Fellowship positions in Australia

Research Fellow

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

Research Fellow, School of Computing

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 8 days 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