Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
for the Institute is to optimise human interaction, and wellbeing across lifespan. We strive to solve the problems that matter most through the themes: sensing and perceiving, interacting with each other, and
-
(Academic Level A) Visa sponsorship may be available for this position Based at our St Lucia Campus - Brisbane About This Opportunity If you are passionate about computational modelling, thrive on solving
-
record of computer programming. Experience in numerical relativity and/or numerical simulation of quantum field-detector interaction Strong written and oral communication skills. Demonstrated ability
-
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
-
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
generous parental leave, the possibility of flexible and part time working arrangements, a parental and aged care support program, dual career hire programs, staff and family tuition fee discounts, ANU
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 2 months 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
-
, with a specific focus on complex biological systems. The project aims to apply highly controlled optical trapping techniques to investigate cell–fluid interactions during macropinocytosis (“cell drinking
-
interactions are influenced by our digital, physical and biological environment. The ANU College of Systems and Society (CSS) is an innovative community representing 6 key disciplines finding solutions
-
of the great universities of the world, ANU is driven by a culture of excellence in everything we do. Our lived experience is increasingly one of large-scale systems of people, whose actions and interactions