Post-doc on model-based security of medical cyber-physical systems

- Application deadline: Midnight, 25 March 2022 (GMT)

- Starting date: 1 July 2022

- Salary: starting from PS36,438 p.a. (inclusive of London allowance)

- Duration: until June 2025

- Where: Royal Holloway, University of London

We have a post-doc opportunity on the EPSRC project "MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems", led by Nicola Paoletti.

The project will investigate the security of modern medical cyber-physical systems characterized by control algorithms for automated therapy delivery, internet connectivity and AI-based therapy recommendations. You will contribute to developing a model-based framework for the analysis and verification of sophisticated stealthy attacks that e.g., exploit the knowledge of the victim's physiological condition as well as the specific vulnerabilities of the machine learning models. You will deploy the methods on real-world models of cardiac devices and artificial pancreas systems.

You should hold a PhD (or close to completion) and have research experience in at least one of: model-based analysis of cyber-physical systems, probabilistic verification and synthesis, control theory and control systems security, multi-objective optimization, and neural networks (especially GANs or adversarial robustness).

For an informal discussion about the post, please contact nicola.paoletti@rhul.ac.uk

To know more and apply, please visit https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=0222-067