Sort by
Refine Your Search
-
Listed
-
Employer
- Monash University
- Flinders University
- University of New South Wales
- James Cook University
- Curtin University
- Macquarie University
- RMIT UNIVERSITY
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Deakin University
- La Trobe University
- RMIT University
- University of Adelaide
- Australian National University
- DEAKIN UNIVERSITY
- FLINDERS UNIVERSITY
- Federation University Australia
- LA TROBE UNIVERSITY
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Murdoch University
- The University of Queensland
- The University of Western Australia
- University of Sydney
- 12 more »
- « less
-
Field
-
, the economy and the environment. The RMIT Vice-Chancellor’s Research Fellowships program enables some of the world’s best research talent to flourish and make a difference in areas that matter for our
-
an environment in which everyone thrives. In line with Curtin’s 2030 Strategic Plan, Curtin University is committed to optimising employment outcomes for Aboriginal and Torres Strait Islander people. In an effort
-
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 reaches out from
-
MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA | North Ryde, New South Wales | Australia | about 2 months ago
. Institutionally we strive for the extraordinary by challenging convention and embracing different views. Our pioneering culture has encouraged and inspired students, staff and collaborators to break free from
-
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 reaches
-
programs, ensuring a rigorous foundation in quantitative disciplines while maintaining strong industry and research partnerships. About The Research Fellow Opportunity This is an exciting opportunity for a
-
managing research programs and mentoring junior staff The successful applicant will be appointed at either Level B or Level C, commensurate with qualifications and relevant experience. Please specify in your
-
James Cook University (JCU) is creating a brighter future for life in the Tropics and beyond, through education and research that makes a difference locally and globally. We now have an opportunity
-
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