Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- The University of Queensland
- Australian National University
- Curtin University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Monash University
- University of Adelaide
- University of New South Wales
- RMIT University
- University of Melbourne
- RMIT UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- Flinders University
- Macquarie University
- University of Sydney
- James Cook University
- Queensland University of Technology
- University of South Australia
- La Trobe University
- Victoria University
- CSIRO
- Swinburne University of Technology
- The University of Western Australia
- Central Queensland University
- Deakin University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- ;
- Australian Academy of Science Research Funding
- Australian Catholic University
- Australian Science Policy Fellowship Program
- Charles Sturt University
- DEAKIN UNIVERSITY
- FLINDERS UNIVERSITY
- Federation University Australia
- LA TROBE UNIVERSITY
- Murdoch University
- QUEENSLAND UNIVERSITY OF TECHNOLOGY (QUT)
- THE UNIVERSITY OF NEWCASTLE AUSTRALIA
- UNIVERSITY OF ADELAIDE
- University of Southern Queensland
- University of Tasmania
- University of Western Sydney
- Zonta International Women in Business Scholarship
- 32 more »
- « less
-
Field
-
research and teaching. It offers world class undergraduate psychology degrees, as well as postgraduate professional Masters training in Clinical and Forensic Psychology, an online Graduate Diploma program
-
the Environmental Economics team. About the opportunity Research Fellow Biodiversity and Climate Change Adaptation will conduct research to support key deliverables for a National Environmental Science Program (NESP
-
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
-
, biomedical, chemical, environmental and geoscience disciplines. How to apply: To be considered for this position, applicants must address the selection criteria below and attach your CV (including a list of
-
development programs and activities Cross University collaboration opportunities On-campus health clinic, gym and other fitness facilities Salary packaging and extra leave benefits How to Apply For a copy of
-
of audiences Highly developed interpersonal and organisational skills, evidenced through experience in coordinating grant programs, managing scientific facilities, leading research communications, and
-
researcher could build hundreds or thousands of strains in parallel using our robotic platforms. The Australian Genome Foundry is capable of synthesizing complete eukaryotic chromosomes and consists
-
. The School is one of the largest and most prestigious schools Australia for thriving research programs and contribution to education excellence in Aerospace, Mechanical Engineering, Advanced Manufacturing
-
parallel using our robotic platforms. The Australian Genome Foundry is capable of synthesizing complete eukaryotic chromosomes and consists of modular robotic platforms capable of automated construction and