The Theoretical Computer Science Group (Prof. Barbara Koenig) at the
University of Duisburg-Essen (Germany) has one open PhD position
paid according to TV-L 13 (full-time). Candidates at post-doc level
can also be considered (and will start with a higher salary level
within TV-L 13).
For more information have a look at our web pages:
Our current main research areas are:
* Verification of graph transformation systems
* Behavioural equivalences and behavioural metrics
You should have or should be in the process of obtaining a MSc or
equivalent degree. We prefer applicants with prior experience in some
of the following topics: graph transformation systems, Petri nets,
verification, concurrency theory, behavioural equivalences, coalgebra,
logic and/or process mining. Good English speaking and writing skills
are demanded, as well as the willingness to learn German.
Applicants for the post-doc position should have or should be in the
process of obtaining a PhD. They should be working on at least one of
the topics mentioned above.
You can obtain further information by adressing your enquiries to:
If you are interested in the position, please send your e-mail
application to the address given above until 10 April 2015. Your
application should include:
* A description of your interest in the topics listed above, including
your motivation and specific qualifications.
* A curriculum vitae, including an abstract of your graduate thesis
and the name of your supervisor.
* If you are applying for a post-doc position, please include
a list of your publications and the names of possible referees.