Informatics, TU Vienna

PhD and Postdoc positions in Rigorous Systems Engineering

The positions are within the RiSE project, a National Research Network funded by the Austrian National Science Foundation (FWF) on the topic of Rigorous Systems Engineering.

RiSE is concerned with improving the quality of complex software systems. It aims to move beyond classical, a posteriori verification techniques such as model checking, to an integrated approach of system design and formal verification.
RiSE is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems, to work on topics such as:

  • design and verification of concurrent and real-time software;
  • reactive synthesis and game theory;
  • logical decision procedures.