Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- The University of Queensland
- Australian National University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of Adelaide
- Curtin University
- RMIT University
- Monash University
- University of New South Wales
- RMIT UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- James Cook University
- University of Melbourne
- Flinders University
- Macquarie University
- The University of Western Australia
- University of South Australia
- Australian Academy of Science Research Funding
- Australian Science Policy Fellowship Program
- CSIRO
- Central Queensland University
- Charles Sturt University
- Deakin University
- La Trobe University
- University of Western Sydney
- 14 more »
- « less
-
Field
-
, including industry partners Supervise students, educational outreach activities, and translation of fundamental science to advance plant biotechnology and synthetic biology applications About you Relevant
-
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
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 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
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 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
-
Full time, fixed term (2 years) available within the School of Science Salary Academic Level A6 + 17% Superannuation Based at the city and Bundoora campuses, but may be required to work and/or be
-
coherent research program and apply best-practice methodologies. Supervision and Researcher Development: Support and supervise Honours and Higher Degree by Research students, foster researcher development
-
) + 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
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 2 months ago
. Staff and students within the ANU College of Science and Medicine conduct research and deliver a research-led education program that encompasses the breadth of the sciences, supported by extensive
-
This PhD scholarship is funded by an Australian Research Council Industry Fellowship grant. It is a 3.5-year research training program. The ARC Industry Fellowship program aims to develop a strong