Several Open Positions in the ERC-funded TOROS Project

The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions. Candidates with prior experience in

• the Rust programming language,
• the Coq proof assistant,
• operating system construction, and/or
• probabilistic schedulability analysis

are particularly welcome. Check out the project page for details.