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
- Flinders University
- Queensland University of Technology
- University of New South Wales
- RMIT UNIVERSITY
- UNIVERSITY OF WESTERN AUSTRALIA
- University of Melbourne
- Macquarie University
- Victoria University
- Deakin University
- James Cook University
- Swinburne University of Technology
- The University of Western Australia
- University of South Australia
- Central Queensland University
- La Trobe University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- University of Tasmania
- ;
- Australian Academy of Science Research Funding
- Australian Catholic University
- Australian Science Policy Fellowship Program
- CSIRO
- Edith Cowan University
- Federation University Australia
- University of Queensland
- University of Southern Queensland
- University of Western Sydney
- University of Wollongong
- Zonta International Women in Business Scholarship
- 26 more »
- « less
-
Field
-
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
-
and research programs - including significant industry, government and community collaboration - offers you vast scope and opportunity for a long, fulfilling career. It also enables us to attract high
-
Wildlife Crime Research Hub as part of the ARC Industry Laureate Fellowship program, Combatting Wildlife Crime and Preventing Environmental Harm at one of Australia’s leading research institutions
-
biomolecules. Proficiency in programming or scripting for simulation and data analysis, along with experience using high-performance computing environments, is required, and experience using structure prediction
-
Develop a coherent research program and an emerging research profile in mathematical ecology or mathematical epidemiology. Participate in applications for competitive research funding to support projects
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month ago
contribution to superannuation. We also offer generous parental leave, the possibility of flexible and part time working arrangements, a parental and aged care support program, dual career hire programs, staff
-
computational modelling, physics, mathematics and/or scientific programming backgrounds, ideally with experience in Earth System modelling, Earth science or related disciplines. Ideal technical requirements
-
significant intellectual freedom. The appointee will design and execute programs that leverage the chemistry of small and light-activated molecules for non-equilibrium DNA systems; characterise materials using
-
using programming languages such as Python or R. Communication and Organisational Skills: Excellent problem-solving skills, with the ability to plan, prioritise, and manage multiple tasks efficiently
-
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