Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Monash University
- Australian National University
- The University of Queensland
- Queensland University of Technology
- Curtin University
- UNIVERSITY OF MELBOURNE
- University of Adelaide
- University of New South Wales
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- The University of Western Australia
- CSIRO
- Flinders University
- James Cook University
- Macquarie University
- RMIT University
- University of Melbourne
- 6 more »
- « less
-
Field
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 12 hours 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 8 hours 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
-
partners with CSIRO to develop a quantum software stack and with several industry partners for microwave control and quantum chip manufacturing. NQCT will include a large team of interdisciplinary
-
are looking for a motivated postdoc with a strong experimental background in chemistry and materials to develop stable and high-efficiency perovskite solar cells and mini-modules. You will be embedded in a
-
contribution of 17% superannuation applies. Fixed term position for 24 Months. Postdoc opportunity - Open for Applications Until Filled We are seeking a dynamic and motivated Postdoctoral Fellow in Ecological
-
of threatened parrot species. The role will include ecological and wildlife surveys, and the candidate must be capable and willing to undertake intensive tree-climbing surveys for endangered birds. The Postdoc
-
developed interpersonal skills. Full details can be found in the position description. Pre-employment checks required for this position Verification of qualifications UNSW Benefits and Culture 17
-
individual to work on an exciting modelling and simulation project, involving extensively applied work at the intersection of software engineering research and modelling and simulation, with real-world testing
-
Software Solutions Team of the Digital Innovations Research Group within the Agriculture & Food business unit. This Group includes leading experts in software engineering and mathematical modelling of soil
-
to attending relevant health and safety training. Pre-employment Checks Required: Verifications of Qualifications NSW Working with Children Check or the willingness to obtain one Criminal Records Check Benefits