Dear colleague, There are two open positions in my group at Rostock University that can be filled starting Aug 1, 2014. I would be grateful if you could forward this information to appropriate candidates.
Formal requirements: - master degree in CS, or comparable degree - fluent German (most courses are in German) Research: We work on model checking, Petri net theory, and theory of open systems. Fundamental results are applied through software tools (e.g. LoLA). We have been active in various application areas (e.g. web services, business processes). Candidates should have their research interest in some of these fields. Positions are not formally bound to a particular funded project. Hence, skills in theory and programming are welcome. Teaching: Our group is responsible for the undergrad theory courses (logic&decidability, complexity&formal languages, semantics&formal systems), and for grad courses concerning our research areas. Position holders will be responsible for exercises, tutorials, projects, seminars in these areas. Teaching duty is 4 hours per week (approx. 30 weeks per year). Rostock university is almost 600 years old (third oldest in Germany). Rostock is situated close to the Baltic sea and is a touristic hotspot with excellent living conditions. The initial contract will be for three years but may be extended (under certain circumstances up to an overall of twelve years). Applications are solicited before June 15. Detailed information (in German) under http://www.uni-rostock.de/stellen/wissenschaftliches-und-nichtwissenschaftliches-personal/ position code: W 37-14 For further information, feel free to contact me: Phone: +49 381 4987670 mail: [email protected] web: www.informatik.uni-rostock.de/tpp Kind reagrds Karsten Wolf
---- [[ 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] ]]
