Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Australian National University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of New South Wales
- James Cook University
- Macquarie University
- Flinders University
- University of South Australia
- Australian Academy of Science Research Funding
- CSIRO
- Curtin University
- Federation University Australia
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- University of Adelaide
- University of Melbourne
- 4 more »
- « less
-
Field
-
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 | 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
-
to various cross-disciplinary and specialist institutes and centres. Staff and students within the ANU College of Science and Medicine conduct research and deliver research-led education programs
-
, 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
-
of audiences Highly developed interpersonal and organisational skills, evidenced through experience in coordinating grant programs, managing scientific facilities, leading research communications, and
-
with staff working across numerous professions (see the full list of available roles here . We are a recipient of the bronze award through the Science in Australia Gender Equity (SAGE) program and a
-
research and practice Join a dynamic and supportive community About the College The ANU by 2025 Strategic Plan calls for the University to serve society through transformational research and education. As
-
& upskilling opportunities . For more information on a range of lifestyle, financial and non-financial rewards and programs, please click here . To see what the Science and Medicine at ANU community is like, we
-
. 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
-
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