3 programming-"DIFFER" Fellowship positions at Australian National University

Senior Research Fellow

Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

the future through and with technology. The school creates programs that blend education, research and engagement, giving staff the opportunity to create new ways of working, to imagine something different

Research Fellow

Australian National University | Canberra, Australian Capital Territory | Australia | 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

Postdoctoral Fellow

Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

someone with good project management experience. About the College The ANU by 2025 Strategic Plan calls for the University to serve society through transformational research and education. As one