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.