14 programming-"Multiple"-"U"-"Prof"-"O.P"-"Duke-University"-"U.S" Fellowship positions at AUSTRALIAN NATIONAL UNIVERSITY (ANU)

Research Fellow, School of Computing

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

Postdoctoral Fellow (Corry), Research School of Biology

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

Research Fellow, School of Engineering

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

Postdoctoral Fellow

AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | 3 months ago

.  Staff and students within the ANU College of Science and Medicine conduct research and deliver a research-led education program that encompasses the breadth of the sciences, supported by extensive