There is a Postdoc position available in HyCoDeV Lab, Newcastle University, UK. More information can be found here:
https://hycodev.com/Positions/
Research on the EPSRC New Investigator Award ‘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.
Possible research directions:
- Develop AI planning and machine learning methods with formal guarantees (e.g., convergence or sample complexity) for performing synthesis on unknown models or unknown objective functions.
- Develop methods for synthesising controllers that are correct by design, have incomplete state
information and are robust to model uncertainty.
- Develop methods for synthesising controllers applicable to systems with large number of
components and state variables using decomposition and assume-guarantee reasoning.
More information and how to apply:
https://hycodev.com/Positions/CodeCPS_PDRA.pdf