The positions at the Department of Computing Science are available from October 1, 2013, for a duration of initially one year (with the possibility of a two-year extension). These positions form the second out of three annual cohorts of SCARE.
SCARE addresses computerized systems cooperating with their environment. System correctness requires that this cooperation satisfies desired behavioral properties. SCARE investigates system correctness under adverse, only partially predictable conditions which can influence the behavior of the system, the system context, and the assumptions made for verifying correctness. SCARE considers three aspects of adverse conditions, both individually and in their combination: limited knowledge, unpredictable behavior, changing system environment and system structure. SCARE aims at notions of system correctness that guarantee robustness of the system behavior under such adverse conditions. For the doctorands SCARE offers:
- 90% of a full salary in the E13 TV-L public sector pay scale - initially 2940Euro/month before tax (status of April 2013);
- research positions enabling the doctorands to concentrate on their PhD projects;
- a cooperative and supportive research environment;
- supervision by two expert professors;
- support for traveling and conferences;
- regular visits of invited guest researchers;
- a full spectrum of opportunities for knowledge acquisition;
- support for equal opportunities in science.
