Several Open Positions in the ERC-funded TOROS Project

Bild der Pressemitteilung

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.