Sort by
Refine Your Search
-
Listed
-
Employer
- The University of Queensland
- Australian National University
- UNIVERSITY OF MELBOURNE
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of Melbourne
- RMIT University
- Flinders University
- University of Adelaide
- Monash University
- Curtin University
- Queensland University of Technology
- RMIT UNIVERSITY
- University of New South Wales
- James Cook University
- The University of Western Australia
- Victoria University
- Central Queensland University
- La Trobe University
- Macquarie University
- Southern Cross University
- UNIVERSITY OF WESTERN AUSTRALIA
- University of Sydney
- Edith Cowan University
- University of South Australia
- University of Tasmania
- University of Wollongong
- Australian Science Policy Fellowship Program
- CSIRO
- Deakin University
- Federation University Australia
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- University of Western Sydney
- 22 more »
- « less
-
Field
-
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 | 19 days 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
-
of Medicine and Public Health At the College of Medicine and Public Health, we deliver clinical, population and lab-based research, integrated teaching programs and high-quality clinical services. Our footprint
-
responders and operational risk assessment regarding skin decontamination and will build on a program of work focused on dermal exposure to chemicals. To be successful you will need: Completion of a PhD in
-
. The position will be hosted by IMAS and affiliated with the Queensland Department of Primary Industry (QDPI). The Research Fellow will contribute to a program of research - Fish LIGHT - Low Impact Gears and
-
shape the future of omics data integration and analysis tools Investing in you - benefits package including salary packaging, health and wellbeing programs, discounted services, and professional
-
health insurance. Employee Assistance Program. About the University The University of Western Australia (UWA) is ranked among the top 100 universities in the world and a member of the prestigious
-
proud to be an organisation that is committed to our Reconciliation Action Plan and Indigenous Workforce Strategy. Our vision is to be a preferred employer for Aboriginal and Torres Strait Islander
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 20 hours ago
at the ANU, and to contribute to its teaching program. The successful candidate will have a Ph.D. in Philosophy with demonstrated expertise in moral and/or political philosophy with a proven record of
-
Research Collaboration (MQ Collab), a three-year research program focused on advancing Road Transport Psychology and Road Transport Safe Systems. With over 30 staff and postgraduate scholars, the key areas