Post by pepo on Jun 4, 2014 22:47:04 GMT -4
De: Karsten Wolf <karsten.wolf@uni-rostock.de>
Fecha: jueves, 22 de mayo de 2014
Asunto: Two open research&teaching positions in Rostock
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 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: karsten.wolf@uni-rostock.de
web: www.informatik.uni-rostock.de/tpp
Fecha: jueves, 22 de mayo de 2014
Asunto: Two open research&teaching positions in Rostock
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 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: karsten.wolf@uni-rostock.de
web: www.informatik.uni-rostock.de/tpp