Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- The University of Queensland
- Australian National University
- Curtin University
- University of Adelaide
- Monash University
- RMIT University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- RMIT UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- Flinders University
- University of New South Wales
- Queensland University of Technology
- James Cook University
- Macquarie University
- Victoria University
- La Trobe University
- The University of Western Australia
- University of South Australia
- CSIRO
- Central Queensland University
- Deakin University
- Swinburne University of Technology
- ;
- Australian Academy of Science Research Funding
- Australian Catholic University
- Australian Science Policy Fellowship Program
- Charles Sturt University
- Federation University Australia
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- University of Melbourne
- University of Southern Queensland
- University of Tasmania
- University of Western Sydney
- Zonta International Women in Business Scholarship
- 24 more »
- « less
-
Field
-
workplace. The size, breadth and quality of our education and research programs - including significant industry, government and community collaborations - offers you vast scope and opportunity for a long
-
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 | 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
-
, including commercialisation of UQ intellectual property; develop a coherent research program and an emerging research profile; review and draw upon best practice research methodologies. Supervision and
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 months ago
free energy calculations or advanced sampling techniques—is essential, ideally involving proteins, nucleic acids, or other biomolecules. Proficiency in programming or scripting for simulation and data analysis
-
service. Discounted UWA course fees. Discounted health insurance. Employee Assistance Program. About the University The University of Western Australia (UWA) is ranked among the top 100 universities in
-
Wildlife Crime Research Hub as part of the ARC Industry Laureate Fellowship program, Combatting Wildlife Crime and Preventing Environmental Harm at one of Australia’s leading research institutions
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago
biomolecules. Proficiency in programming or scripting for simulation and data analysis, along with experience using high-performance computing environments, is required, and experience using structure prediction
-
research into the dynamics and prediction of the Western Central Pacific as part of the collaboration between the IMOS FishSOOP programme (run through UNSW) and the Pacific Community. The position will use
-
Overview: RMIT Europe, in collaboration with RMIT University, is looking for a Postdoctoral Fellow to join the AuSpire Program. This position will focus on Regenerative Design Interventions in