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

Filters Search
  • 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

Enter an email to receive alerts for programming-"DIFFER" positions