3 verification Fellowship positions in Australia

Research Fellow

Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month 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 | about 1 month 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

Senior Research Fellow (Child Health)- Population Child Health Research Group

University of New South Wales | Sydney, New South Wales | Australia | about 2 months ago

: Verification of qualifications Working with Children Check or the willingness to obtain one Criminal Records Check Benefits and Culture: UNSW offer a competitive salary and access to a plethora of UNSW-perks