Sort by
Refine Your Search
-
Listed
-
Employer
- The University of Queensland
- Australian National University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of Adelaide
- RMIT University
- Curtin University
- Monash University
- RMIT UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- University of New South Wales
- James Cook University
- Macquarie University
- CSIRO
- Flinders University
- The University of Western Australia
- University of Sydney
- Australian Science Policy Fellowship Program
- Central Queensland University
- Charles Sturt University
- DEAKIN UNIVERSITY
- Deakin University
- FLINDERS UNIVERSITY
- La Trobe University
- QUEENSLAND UNIVERSITY OF TECHNOLOGY (QUT)
- UNIVERSITY OF ADELAIDE
- University of South Australia
- University of Western Sydney
- 17 more »
- « less
-
Field
-
Galactic Science programme at CIRA through scientific and computational expertise. Selection Criteria A PhD in radio astronomy, astrophysics, physics, or computer science. Demonstrated expertise in
-
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
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 3 months ago
materials and systems. Research Fellow – Micro/Nano Manufacturing for Electrochemical Technologies Open to PhDs in Materials Science or Chemical/Electrical Engineering with a strong background on micro
-
meaningful program of work that includes literature reviews, field research, data analysis and scientific writing. The role also involves preparing ethics applications and presenting research findings
-
) + 17% Superannuation Based at the Defence Science and Technology Group (DSTG), Port Melbourne, but may be required to work from time-to time at other campuses of the University Make a Real Impact in
-
rata) + 17% Superannuation Based at the Defence Science and Technology Group (DSTG), Port Melbourne, but may be required to work from time-to time at other campuses of the University Make a Real Impact
-
closely with the Chief Investigator to manage, plan, and execute the project, ensuring milestones are met with excellence. This role involves coordination across national and international partners
-
cross-disciplinary and specialist Institutes and Centres. Staff and students within the ANU College of Science and Medicine conduct research and deliver a research-led education program that encompasses
-
meaningful contributions to sustainable agriculture. The School of Agriculture, Food and Wine is one of eight Schools in the Faculty of SET, and represents a world-class concentration of scientific research