TV-L 13 (100%)
Advertisement for SCARE-2
The Carl von Ossietzky University of Oldenburg, Germany, offers a
Research Position for a PhD Candidate
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 position is available immediately and for a duration of three years. The position is suitable for part-time work.
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 doctorand SCARE offers:
Successful applicants for the research program should have an excellent Master's degree or equivalent in Computer Science or a closely related discipline like Mathematics, fluency in English, and an interest in exploring new notions of system correctness. To this end, we expect skills in developing or applying formal methods.
An application must comprise
as four separate PDF documents and should be emailed to firstname.lastname@example.org by April 30, 2018.
The Carl von Ossietzky University of Oldenburg seeks to increase the proportion of women in science. Therefore, women are strongly encouraged to apply for the offered positions. According to §21,3 NHG (the law governing universities in the German state of Lower Saxony) equally qualified female candidates will be given preference. Applicants with disabilities will be preferentially considered in case of equal qualification.
*Alle Angaben ohne Gewähr.
Wir wären Dir sehr dankbar, wenn Du bei Deinem Anschreiben auf WIMIFY verweisen würdest.