PhD Opportunities in Cyber-Physical Systems

Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for multiple research positions as PhD students to work on a range of topics in the area of cyber-physical systems.
PhD students will develop novel methods to design and analyse cyber-physical systems (e.g., autonomous cars). The main focus will be on the formal verification of hybrid systems, i.e., dynamical systems exhibiting mixed discrete-continuous behaviour. Depending on the interest and background of candidates, research can include topics from AI as well, e.g., AI planning and machine learning.
Candidate profile:
strong background in Computer Science and/or Mathematics (particularly numerical methods, differential equations, control and optimization theory)
solid programming skills in C++/Java/Python/Matlab
should have completed, or about to complete, a Bachelors/Masters/Honours degree in Computer Science or related areas
How to Apply:
Please send a complete CV as well as your motivation letter and transcripts to Dr Sergiy Bogomolov ( For more information, please consult

Application closing date

31 May 2017
Applications open for this opportunity: 
2 May 2017
Eligible degree type(s): 

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing