Department of Computer Science
Location: EghamSalary: 36,438 per annum - including London AllowancePostType: Full TimeClosingDate:23.59 hours GMT on Friday 25 March 2022Reference: 0222-067
Full-time, fixed-term, 3 years
Starting Salary is36,438 per annum inclusiveof London Allowance.This is the expected starting salary for this post however appointment at a higher point may be made for candidates who demonstrate exceptional skills and experience relevant to the role.
Applications are invited for the post of Post-Doctoral Research Associate in the Computer Science Department at Royal Holloway, University of London.
This is a 3-year position funded by the EPSRC project MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems (EP/W014785/1) and led by Dr Nicola Paoletti.
Project description.Many medical conditions require therapy via implantable and wearable devices, such as cardiac devices to treat arrhythmia treatment and artificial pancreas systems for glucose regulation in diabetes. Suchmedical cyber-physical systems (medCPSs)have experienced dramatic technological advancements, and include control algorithms for automated therapy delivery, internet connectivity for remote patient monitoring, and machine learning (ML) to aid therapy decisions. This complexity introduces broad attack surfaces that can jeopardize patient safety. While prior work mainly focused on the practical feasibility of the attacks, our project will investigate sophisticated sensor spoofing attacks that are bothstealthyandtailored to the target patient.
In MCPS-VeriSec, you will contribute to developing amodel-based frameworkto provideverified defenses against stealthy attacks on medCPSs, which you will apply to theICD (Implantable Cardioverter Defibrillator) and artificial pancreascase studies. In particular, you will carry out research on synthesis of Pareto-optimal attacks (and corresponding defenses), logic-based formal verification of the defenses, personalization of attacks and defenses from physiological signals, and adversarial robustness of ML vs non-ML device controllers.
The PI has extensive experience in cyber-physical systems and healthcare applications. Our collaborators include Dr Rahmati (Stony Brook University), expert of robust physical attacks on ML and system security, Ing Milos Kozak, leader of AndroidAPS, the most popular DIY artificial pancreas system, and Diabetes Neuromathix Pty Ltd, a company developing novel insulin control methods for highly unstable diabetes.
About you.You should hold a PhD (or be close to completion) in Computer Science, Information Security, Electronic/Biomedical Engineering, Mathematics, or related discipline, and have research experience in one or more of the following: model-based analysis of cyber-physical systems, probabilistic verification and synthesis, control theory and control systems security, multi-objective optimization, and neural networks (prior experience with GANs or adversarial robustness of neural nets is a plus). Candidates with experience in healthcare and medical devices applications are particularly encouraged to apply. Experience in contributing to outreach activities would also be valuable.
The duties and responsibilities of this post include conducting individual and collaborative research on the project themes, develop and maintain the projects code repository, writing reports on the advancement of the project, producing high-quality outputs for publication in high-profile conferences and journals, helping with the organization of dissemination events.
In return we offer a highly competitive rewards and benefits package including:
The post is based in Egham, Surrey where the College is situated in a beautiful, leafy campus near to Windsor Great Park and within commuting distance from London.
This is a Full Time and Fixed Term post, available from July 2022 or as soon as possible thereafter to June 2025. For an informal discussion about the post, please contact Dr Nicola Paoletti onnicola.paoletti@rhul.ac.uk
To view further details of this post and to apply please visithttps://jobs.royalholloway.ac.uk.For queries on the application process the Human Resources Department can be contacted by email at:recruitment@rhul.ac.uk
Please quote the reference:0222-067
Closing Date: 23:59, 25 March 2022
Interview Date:TBC
Furtherdetails: JobDescription&PersonSpecification
See original here:
Read More..