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://www.uni-due.de/karriere/stelle.php?kennziffer=289-25 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://www.uni-due.de/theoinf/index_en.php 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@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@uni-due.de).