Post by pepo on Jun 4, 2014 22:57:58 GMT -4
De: Eike Best <eike.best@informatik.uni-oldenburg.de>
Fecha: miércoles, 28 de mayo de 2014
Asunto: PhD research position in SCARE
******************************************
**** SCARE Doctorand Positions 2014 ****
******************************************
The Carl von Ossietzky University of Oldenburg, Germany, offers
5 Research Positions for PhD Candidates
(E13 TV-L, German public sector pay scale)
in the Research Training Group
SCARE --- System Correctness under Adverse Conditions
funded by the German Research Foundation (DFG GRK 1765).
The positions at the Department of Computing Science are available
from *October 1, 2014*, for a duration of up to three years.
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. For detailed
information see
scare.uni-oldenburg.de
We invite applications with CV, detailed statement of interest
in SCARE, transcripts of the records summarizing the candidate's
academic performance, and names of two references in PDF format to
SCARE@uni-oldenburg.de
by *June 15, 2014*.
Fecha: miércoles, 28 de mayo de 2014
Asunto: PhD research position in SCARE
******************************************
**** SCARE Doctorand Positions 2014 ****
******************************************
The Carl von Ossietzky University of Oldenburg, Germany, offers
5 Research Positions for PhD Candidates
(E13 TV-L, German public sector pay scale)
in the Research Training Group
SCARE --- System Correctness under Adverse Conditions
funded by the German Research Foundation (DFG GRK 1765).
The positions at the Department of Computing Science are available
from *October 1, 2014*, for a duration of up to three years.
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. For detailed
information see
scare.uni-oldenburg.de
We invite applications with CV, detailed statement of interest
in SCARE, transcripts of the records summarizing the candidate's
academic performance, and names of two references in PDF format to
SCARE@uni-oldenburg.de
by *June 15, 2014*.