14 parallel-programming Fellowship research jobs at AUSTRALIAN NATIONAL UNIVERSITY (ANU) in Australia
Sort by
Refine Your Search
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 3 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 | 2 months ago
free energy calculations or advanced sampling techniques—is essential, ideally involving proteins, nucleic acids, or other biomolecules. Proficiency in programming or scripting for simulation and data analysis
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 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
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 2 months ago
at the ANU, and to contribute to its teaching program. The successful candidate will have a Ph.D. in Philosophy with demonstrated expertise in moral and/or political philosophy with a proven record of