Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
qualifications such as Indigenous Knowledges and professional research or consultation experience. Have experience of working successfully with Palawa Community members in formal settings, such as a Tasmanian
-
responsibilities and commitment to attending relevant health and safety training. Please refer to the position description for full details. Pre-Employment checks required for this Position Verification
-
neuropsychology. Pre-Employment Checks All offers of employment are conditional upon the satisfactory completion of: A Working with Children Check (WWCC). A National Criminal History Check. Verification of PhD
-
. 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
-
and Industrial Research Organisation (CSIRO), Curtin University, Pawsey Supercomputing Centre, and The University of Western Australia (UWA) are the four foundation partners formally collaborating
-
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
-
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
-
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
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 3 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
-
. 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