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.