Open PhD position on embedded Rust code formal verification for core RIOT modules

[emmanuelsearch]

Here’s the position description and instructions on how to apply for this position to be filled at Inria 2022-04814 - PhD Position F/M Compositional verification of system program modules in Rust