Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student positions and postdoc positions in Rigorous Systems Engineering, Austria

The RiSE project is 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.

Applications will be considered until positions are filled. The start date is negotiable; earliest starting date is 1 March 2011. For more information, see http://www.arise.or.at/index.php?id=Positions

Please note that this newsitem has been archived, and may contain outdated information or links.