3 software-verification Fellowship research jobs in Australia

Postdoctoral Research Fellow / Registered Psychologist

Macquarie University | North Ryde, New South Wales | Australia | about 9 hours ago

skills across diverse teams and stakeholders. Experience with data collection methods (e.g., surveys, interviews, reviews, focus groups). Proficiency in data management and analysis using software such as

Research Fellow

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

Research Fellow, School of Computing

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