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

Here’s the position description and instructions on how to apply for this position to be filled at Inria Error

2 Likes