2 programming-"DIFFER" Fellowship positions at Australian National University in Australia

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 | 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