1 programming-"DIFFER"-"Washington-University-in-St" Fellowship positions at Australian National University in Australia

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"-"Washington-University-in-St" positions