There is still a PhD research vacancy in the DFG (German
Research Foundation) funded research project
SCARE -- System Correctness under Adverse Conditions
http://scare.uni-oldenburg.de
SCARE provides an attractive, well-funded opportunity
for aspiring young researchers in computing science.
We expect a strong background in formal methods, e.g.,
automata models and logic. If you are interested, please
apply as soon as possible to the Director of SCARE, cf.
http://scare.uni-oldenburg.de/58367.html
----
Eike Best
----
[[ 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] ]]
