****************************************** **** 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 http://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 [email protected] by *June 15, 2014*. ********************************************** ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
