15 Research Positions for PhD Candidates
within the E13 TV-L German public sector pay scale in the new Research Training Group (RTG)
SCARE— System Correctness under Adverse Conditions
funded by the German Research Foundation (DFG GRK 1765). These positions at the Department of Computing Science will be offered in three cohorts: five positions starting on 1 October 2012, five positions on 1 October 2013, and five positions on 1 October 2014. Each position is limited to three years.
The RTG SCARE addresses computerized 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. SCARE 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 RTG will consider three aspects of adverse conditions, both individually and in their combination:
A limited knowledge,
B unpredictable behaviour,
C changing system environment and system structure.
The main aim of SCARE is research into notions of system correctness that guarantee robustness of the system behaviour under such adverse conditions.
Supervision in the research training group is based on the four elements of "Levelling", helping doctoral candidates from diverse backgrounds to rapidly blend into the research environment, "Bonding", aiming at establishing a local and global research network, "Progress", which amounts to supervision and active support, and "Exchange", guaranteeing visibility in the scientific community. Together, these elements will support the doctoral candidates in becoming independent researchers who will be able to investigate complex problems autonomously and to effectively interact with the international research community.
Successful applicants for the research programme should have an excellent Master's degree (or equivalent) in Computer Science or a closely related discipline, fluency in English, and a strong interest in exploring new notions of system correctness in a cooperative research environment.
For the first SCARE cohort starting on 1 October 2012, we invite applications consisting of a CV, transcripts of the records summarizing the candidate's academic performance, a statement of interest in SCARE, and names of two references, to be sent in pdf format to
SCARE@uni-oldenburg .de by 30 June 2012.
One hardcopy should be sent to the Director of the RTG:
Prof. Dr. Ernst-R¨udiger Olderog,
Department of Computing Science, Faculty II, University of Oldenburg,
D-26111 Oldenburg, Germany
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) female applicants with equal qualification will be preferred. Disabled persons with equal qualification will be given preference.
For details about SCARE, please check: http://www.scare.uni-oldenburg.de
.Information
Application deadline: 2012-06-30
Please quote 10 Academic Resources Daily in your application to this opportunity!
