Sort by
Refine Your Search
-
Listed
-
Employer
- Monash University
- The University of Queensland
- Australian National University
- RMIT University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Curtin University
- University of Adelaide
- University of New South Wales
- RMIT UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- Flinders University
- Deakin University
- James Cook University
- Macquarie University
- University of Sydney
- Queensland University of Technology
- La Trobe University
- Victoria University
- The University of Western Australia
- University of South Australia
- Central Queensland University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- ;
- Australian Catholic University
- Australian Science Policy Fellowship Program
- CSIRO
- Charles Sturt University
- DEAKIN UNIVERSITY
- FLINDERS UNIVERSITY
- Federation University Australia
- University of Tasmania
- University of Western Sydney
- 22 more »
- « less
-
Field
-
different. There’s a sense of belonging, from contributing to something groundbreaking – a place where great things happen. We value difference and diversity , and welcome and celebrate everyone's
-
information management practices. About Monash University At Monash , work feels different. There’s a sense of belonging, from contributing to something groundbreaking – a place where great things happen. We
-
. About Monash University At Monash , work feels different. There’s a sense of belonging, from contributing to something ground-breaking – a place where great things happen. We value difference and
-
your early career research plan with guidance from mentors and supervisors. To be successful, you’ll have: PhD in a relevant discipline and/or other relevant qualifications and experience. Demonstrated
-
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 career and make a meaningful contribution to the lives of individuals with brain injury, we encourage you to apply. About Monash University At Monash , work feels different. There’s a sense of
-
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
-
strong sense of community & inclusion Enjoy a career that makes a difference by collaborating & learning from the best At UNSW, we pride ourselves on being a workplace where the best people come to do
-
differences. We support and encourage applications from Aboriginal and Torres Strait Islander people, and people of all abilities, cultures, sexual orientation, and genders Advertised:21 Aug 2025 AUS Eastern
-
part of a recently awarded ARC discovery project between UNSW Sydney and the University of Sydney. The goal of the project is to determine how hydrogen affects deformation at different microstructural