The Carl von Ossietzky University of Oldenburg, Germany, offers 15 Research Positions for PhD Candidates in the second phase of the Computer Science Research Training Group SCARE - System Correctness under Adverse Conditions http://scare.uni-oldenburg.de funded by the German Research Foundation (DFG GRK 1765/2).
The positions at the Department of Computing Science are available in three cohorts of five doctorands each, starting April 1, 2017, January 1, 2018, and October 1, 2018, respectively.
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.
Further details:
http://academicpositions.eu