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.