4 verification Fellowship research jobs in Australia

Research Fellow/Senior Research Fellow

University of New South Wales | Sydney, New South Wales | Australia | about 19 hours ago

. Please refer to the position description for full list of Skills and Experience. Pre-employment checks required for this position Verification of qualifications UNSW Benefits and Culture 17% Superannuation

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

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

University of New South Wales | Sydney, New South Wales | Australia | 3 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