Looking for Research Assistantship

The Institute for Software Systems offers a research assistantship (German "wissenschaftliche Hilfskraft") to contribute to a project that aims at synthesizing strategies for stochastic timed games that are used to model navigation problems in safety-critical, real-time applications.
The task of the research assistant is to provide scripts for testing and transforming models and strategies (partly in XML).  The project provides the opportunity to learn about novel methods for real-world planning problems, to work with large data sets and a large software system, and to apply verification techniques in practice.

Candidates should have good programming skills in at least one scripting and one other programming language. They should also have prior experience with the software development process, including building and testing. Knowledge of formal methods, in particular model checking, or the tool Uppaal is a plus.

Start date, hours, duration:
February 1 or later; 46-85 hours per month (exact hours are negotiable) for an initial duration of 4 months (extension possible).

Candidates should send their resume to sts-office (at tuhh.de) or may contact Prof. Schupp. The resume should detail prior programming projects and ideally include a link to code at Github or other repositories. For contact information, see www.tuhh.de/sts.