Offene Stellen

I always look for motivated PhD students and postdoctoral scholars. Potential candidates should have solid background in (at least) one of the following areas: Systems and Control, Mathematics, Computer Science, Artificial Intelligence, Data Science, Operations Research, or a closely related field. If you are interested, please send your application to

If you have exceptional programming skills in Python/C++ along with an M.Sc. degree in CS/ML/Robotics, and are willing to pursue your PhD studies in theoretical and practical aspects of software development for safety-critical cyber-physical systems, send your CV including programming experiences to with subject “PhD: CPS - Software Development”.

Aktuelle Öffnungen

  • Februar 2023: There is a postdoc position at the intersection of Formal Methods and Data Science. If you are interested, please send your detailed CV to me by March 10 with subject “Postdoc: Data-Driven Formal Methods for CPS”. Interested applicants need to either have a PhD or be in the final stage of their PhD.

  • Januar 2023: There is a PhD opening on our EPSRC DTP Project with the following description. The position is fully funded for 3.5 years with an annual stipend and waived international tuition fees (Application Deadline: February 24).

Title: Safe AI-enabled Control of Autonomous Vehicles

Overview: Autonomy is certainly one of the main themes of the 21st-century technology. In the near future, we expect to see fully autonomous vehicles (AVs), aircrafts, and robots, all of which should be able to make their own decisions without direct human involvement. Although such technological advances for AVs bring many potential advantages, e.g., fewer traffic collisions, reduced traffic congestion, increased roadway capacity, relief of vehicle occupants from driving, etc., providing safety certification and guaranteeing correctness of the design of such autonomous vehicles have been always the major obstacles in their successful deployment. Over the past decade, several advances have been made in developing various techniques for AVs, especially in the areas of perception, planning and control. However, a stumbling block in their deployment is the lack of any guarantee of correctness. This in turn opens several unanswered questions related to liability in the case of accidents or other unforeseen events.

The main goal of this interdisciplinary project is to design a safe AI-enabled controller framework for autonomous vehicles by requiring knowledge from control theory, data-driven methods, and SMT solvers. International collaborations will be expected with experts in safety-critical systems together with industrial collaborations. If you are interested, please send me your application (CV, transcripts, etc.) by February 24.

  • August 2022: I have a PhD opening in my group with the following description. The position is fully funded for 3.5 years with an annual stipend and waived UK tuition fees. The position remains open until a suitable candidate is found.

Title: Towards Trustworthy AI for Safety-Critical Cyber-Physical Systems

Overview: Cyber-physical systems (CPS) are complex networked models combining both cyber (computation and communication) and physical components, which tightly interact with each other in a feedback loop. Examples of such systems span a wide range of real-life safety-critical applications including automotive, robotics, transportation systems, energy, healthcare, critical infrastructures, and so on. Formal verification and policy synthesis for this type of complex systems to enforce high-level control missions are inherently very challenging mainly due to (i) large dimension of underlying systems, (ii) stochastic nature of dynamics, (iii) tight interaction between physical and cyber components, (iv) dealing with complex requirements, and (v) lack of mathematical closed-form models in many real-world applications.

The main goal of this research is to focus on developing scalable AI-based techniques with mathematical guarantees to tackle the aforementioned difficulties and design highly-reliable CPS by bringing together interdisciplinary concepts from formal methods in computer science, optimization in operations research, control theory, data science and machine learning.

  • Juli 2022: If you are interested in pursuing your PhD studies at the intersection of Formal Methods in Computer Science, Control Theory, Data Science and Machine Learning with exciting applications in real-world safety-critical systems, please send me your application (CV, transcripts, etc.) by July 13th. The position is fully funded for five years with an annual stipend and waived international tuition fees.