Team

Job vacancies

There are currently two new positions (PhD or Postdoc) available at the STUPS group (Programming Languages and Software Engineering) of the University of Düsseldorf. The STUPS group is developing and maintaining the ProB model checker, but is also involved in the PyPy project and has just created the spin-off company Formal Mind. The first research post is situated within the EU Framework 7 project ADVANCE (Advanced Design and Verification Environment for Cyber-physical System Engineering). The project is scheduled to start October 1st, 2011. The other partners are Alstom Transport, Critical Software Technologies, Systerel, and the University of Southampton. The overall objective of the ADVANCE project is the development of a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems. More details about the project are available at the project's website: http://www.advance-ict.eu/.

We are looking for researchers or with experience and interest in one or more of the following areas:

1. Formal methods, in particular B, Event-B, Z (but also VDM, Alloy, CSP, Scade is welcome).
2. Constraint Solving
3. Prolog and Constraint Logic Programming
4. Encoding high-level problems in SAT/SMT
5. Model-based Test Case Generation

The second position is situated within a new initiative at the University of Düsseldorf to develop the next generation participative democracy, allowing citizens to develop legislation collaboratively on a massive scale. The aim of our particular workpackage is to guide "ordinary" citizens (not trained in law) in developing consistent, understandable legislation. One idea is to use a domain specific language combined with formal methods tools (such as Alloy or ProB) in order to understand and validate law proposals. For this research area, we are looking for researchers or with experience and interest in one or more of the following:

1. Formal methods, in particular B, Event-B, Z (but also VDM, Alloy).
2. Constraint Solving, Model Finding
3. Requirements analysis and tracing, in particular linking natural language with formal or semi-formal languages
4. Domain specific (specification) languages
5. Graphical visualization of formal models

Links

• Notes on the PhD Degree