There is a PhD position available in HyCoDeV Lab, Newcastle University, UK. More information can be found here:
https://hycodev.com/Positions/
Research on the EPSRC project ‘CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical Systems’. The main aim of the project is to advance the theoretical foundations of correct-by-design controller synthesis for hybrid/stochastic systems.
More information and how to apply:
https://hycodev.com/Positions/CodeCPS_PhD.pdf
PhD position on controller synthesis for hybrid/stochastic systems