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:

http://www.ti.inf.uni-due.de/

Our current main research areas are: * Verification of graph transformation systems * Behavioural equivalences and behavioural metrics

Requirements ------------

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.

Your Application ----------------

You can obtain further information by adressing your enquiries to:

Barbara Koenig barbara_koenig@uni-due.de tel.: ++49-203-3793397

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.