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
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.