CONTEXT
=======
The chair of Informatik 2 is searching for an informatik HiWi to work
on the next generation stochastic model checker within the context of
an international aerospace project (COMPASS) funded by the European
Space Agency (ESA).

Application is open now.

The goal of the COMPASS project is to apply the latest verification
theories from academia to aerospace industry. The RWTH leads this
project and subcontracts an Italian academic (FBK) and a French
industrial partner (Thales Alenia Space). For more information on
COMPASS see http://compass.informatik.rwth-aachen.de/

RESPONSIBILITIES
================
You, the HiWi, will be responsible for the following:
* Maintaining our stochastic model checker, MRMC, for use within
COMPASS.
* Develop a next generation of MRMC from scratch.

For more information in MRMC, see http://www.mrmc-tool.org/