[TYPES/announce] PhD position at the University of Duisburg-Essen

[Barbara König]

PhD position at the University of Duisburg-Essen

======================================================================

The Theoretical Computer Science Group (Prof. Barbara Koenig) at the
University of Duisburg-Essen, Campus Duisburg (Germany) has one open
PhD position paid according to TV-L 13 (full-time):

https://urldefense.com/v3/__https://www.uni-due.de/karriere/stelle.php?kennziffer=289-25__;!!IBzWLUs!Wvl4bH08znzvBS5EWKuPZ1SWXj1VZ02_s9uIC8xe9ta4SWvDQ5x-QzkPvTknMu9mKQbd--egmAjOBj_02nP1_QbbbzPOkoTIg9MAiY90wKU$ 

The PhD thesis topic will be in the area of modelling and verification
of concurrent systems. Our main research interests are behavioural
equivalences and behavioural metrics, graph transformation systems and
fixpoint theory with applications to formal methods for reinforcement
learning. For more information on the research group see

https://urldefense.com/v3/__https://www.uni-due.de/theoinf/index_en.php__;!!IBzWLUs!Wvl4bH08znzvBS5EWKuPZ1SWXj1VZ02_s9uIC8xe9ta4SWvDQ5x-QzkPvTknMu9mKQbd--egmAjOBj_02nP1_QbbbzPOkoTIg9MA_LfMMMA$ 

We offer a well-paid position in a stimulating research environment.
Do not hesitate to contact me if you have questions!

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

You should have or should be in the process of obtaining an MSc or
equivalent degree (in Computer Science or Mathematics). Prior
knowledge about the topics mentioned above is considered an advantage
but not strictly necessary. Good English speaking and writing skills
are demanded, as well as the willingness to learn German.

The application deadline is 3rd July 2025.

======================================================================

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

You can obtain further information by adressing your enquiries to:

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

If you are interested in the position, please send your
application. Your application should include:

* A description of your interest in the position, including your
  motivation and specific qualifications.

* A curriculum vitae, including an abstract of your graduate thesis
  and the name of your supervisor.

Please send your application directly to me
(barbara_koenig at uni-due.de).