Modeling

The formalization of system engineering models and approaches.
forum

Visible to the public Post-doc on model-based security of medical cyber-physical systems

Submitted by nicopao on Tue, 02/15/2022 - 7:33am

- 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.

forum

Visible to the public IEEE SMARTCOMP 2021: Call for Participation

Submitted by yusufsarwar on Mon, 08/16/2021 - 2:53am

                   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.

https://www.smart-comp.info

forum

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

Submitted by Anonymous on Fri, 07/16/2021 - 10:26am

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.