Start of the project 01.10.2012, end of the project 2021; co-operation with other
Departments of Computing Science

The research training group SCARE considers Computing Science systems that work in an environment
and cooperate with it. System correctness means that the co-operation
between environment and system fulfils a given specification of the desired
behavioural properties. Certain assumptions are made about the environment
and the components of the system.

The research group systematically investigates the question of system correctness under adverse,
only partially predictable circumstances, which can affect the behaviour of a system,
as well as the system context and the verification assumptions.
The following three types of adverse circumstances will be considered individually and in combination
:

1. Limited knowledge
2. Unpredictable behaviour
3. Changeable environment and system structure

The main objective of the Research Training Group SCARE is to research concepts of correctness that ensure the
robustness of system behaviour under such adverse conditions.

The supervision concept of the Research Training Group is based on the four elements "Levelling", "Bonding", "Progress" and "Exchange", through which the doctoral students are supported in their development into independent
scientific personalities, so that they can research complex problems out of free motivation and interact independently with the international research world.

Applications for a position in SCARE are possible for 01/01/2018 and 01/10/2018. Please note the times and formalities as indicated on the SCARE website.

The research training school SCARE addresses computer-assisted systems that are placed in an environment with which they cooperate. System correctness means that the cooperation between environment and system satisfies desired behavioural properties. This relationship depends on certain assumptions about the environment and the components of the system.

The research training school systematically investigates the problem of system correctness under adverse, only partially predictable conditions which can influence the behaviour of the system, the system context, and the assumptions made for verifying correctness. The school will consider three aspects of adverse conditions, both individually and in their combination:

1. Limited knowledge
2. Unpredictable behaviour
3. Changing environment and system structure

The main aim of the research training school SCARE is research into notions of system
correctness that guarantee robustness of the system behaviour under such adverse
conditions.

Supervision in the research training school is based on the four elements of "Levelling", "Bonding", "Progress", and "Exchange", which will support the doctorands in becoming independent researchers able to investigate complex problems driven by their own motivation and to interact autonomously with the international research community.

Information about the formal application process will be published here shortly. Application
deadline will be at the end of June 2012 for positions funded starting October 1, 2012.