9 formal-verification Fellowship positions in Australia

Research Fellow (AusSRC Support Scientist)

The University of Western Australia | Crawley, Western Australia | Australia | 3 days ago

The University of Western Australia (UWA) are the four foundation partners formally collaborating to support and develop the AusSRC into a long-term national facility. About the opportunity Support the

Research Fellow (AusSRC Support Scientist)

UNIVERSITY OF WESTERN AUSTRALIA | Perth, Western Australia | Australia | 8 days ago

and Industrial Research Organisation (CSIRO), Curtin University, Pawsey Supercomputing Centre, and The University of Western Australia (UWA) are the four foundation partners formally collaborating

Postdoctoral Research Fellows in Polymer Chemistry/Physics/Engineering

The University of Queensland | St Lucia, Queensland | Australia | about 5 hours ago

positions will be formally appointed through the AIBN; with one Postdoctoral Research Fellow based at AIBN, while the other will work primarily with the collaborating chief investigators at The Queensland

Research Fellow (AusSRC Visualisation Scientist)

UNIVERSITY OF WESTERN AUSTRALIA | Perth, Western Australia | Australia | about 1 month ago

foundation partners formally collaborating to support and develop the Australian SKA Regional Centre (AusSRC) into a long-term national facility. About the opportunity Develop and enhance CARTA software by

Research Fellow - Geometallurgy

The University of Queensland | Indooroopilly, Queensland | Australia | 2 days ago

. Teaching: Whilst no formal teaching commitment is required in this role, the Research Fellow will have the opportunity to contribute to the development and delivery of teaching materials and training modules

Research Fellow

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

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 | 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

Research Fellow - Quantum Control and Quantum Computing

Monash University | Melbourne, Victoria | Australia | 3 months ago

collaborative research, further developing expertise within the field. Key Responsibilities Conduct research on complex quantum processes, particularly using the process tensor formalism, and leverage practical