Inria has yet another engineer position which just opened on this topic!
For more info and applications, head out over here: 2024-07558 - Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software
Inria has yet another engineer position which just opened on this topic!
For more info and applications, head out over here: 2024-07558 - Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software