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)
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.
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!