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
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 1 month 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 1 month 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 1 month 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 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
-
, 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
-
community to embed progressive computing research and education capabilities. Competitive remuneration, 17% super, salary packing and leave loading. About the opportunity This position is a fixed term up
-
of artificial intelligence, Human-Computer Interaction, and human-centred computing. The position focuses on developing and evaluating computational models for recognizing, interpreting, and measuring human
-
an opportunity to develop a strong research profile and gain national recognition in the field. Key responsibilities will include: Research: Establish a research program, collaborate on research projects, seek and
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
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