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(a)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.
