Home
Research
Research Group
Publications
Software
Teaching
Academic Activities
Honors and Awards
Open Positions
Google Scholar
CV

Open Positions
 

I am always looking 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 abolfazl.lavaei@newcastle.ac.uk.

Current openings

  • 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.

  • July 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.