Monitoring and control of cyber-physical systems.

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

11th Conference on Decision and Game Theory for Security (GameSec 2020)

Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.


Visible to the public 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.


Visible to the public IEEE SMARTCOMP 2021: Call for Participation

                   IEEE SMARTCOMP 2021 .::. Call for Participation .::.
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.

Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.


Visible to the public 2 Postdoc Positions on “Design of Safe Autonomous Systems” @ University of Pennsylvania


   2 Postdoc Positions on “Design of Safe Autonomous Systems” 


Visible to the public 2 Postdoc positions in Safe Autonomous Systems at University of Pennsylvania

Starting: September 1, 2021

  1. AI Co-Designer for Model-based Design of Cyber-Physical Systems
  2. Learning with Improvisation for Multi-agent Autonomous Systems

The xLAB at the University of Pennsylvania is looking for motivated Postdoc researchers in the area of “Design of Safe Autonomous Systems” starting September 1, 2021. We are looking for proactive individuals to join our Autonomous Systems lab, bringing their excitement for scientific research in formal methods, control systems, optimization, machine learning and robotics with them.