Mälardalen University (MDH), Sweden, announces four PhD-student and two PostDoc positions in cyber-security for safety-critical cyber-physical systems. http://www.es.mdh.se/serendipity/openPositions.php
In the SSF framework project Serendipity, we will develop new technologies and a platform for safety-critical cyber-physical systems. Our work will leverage existing techniques for dependable systems and augment these with scalable security solutions for open and heterogeneous systems. The security solutions sought for in Serendipity need to be scalable and adapted to an open environment where heterogenous services, applications and users vary over time, but remain safely and securely connected through interconnected dependable platforms. The goals of Serendipity include: 1. Identification of assets and vulnerabilities common to networked cyber-physical systems operating in open environments. Implementation of remedies and countermeasures, taking into account the requirements on timeliness and continuity of service. Contact Person: Assoc. Prof: Elisabeth Uhlemann https://goo.gl/hPYUQW 2. Developing an ontological-based risk-analysis method, to identify security threats and their impacts on safety in a system-of-systems, addressing dependability. As well as developing tool support for the requirement analysis to facilitate industrial use. Contact Person: Prof. Lundqvist https://goo.gl/nVWTtX 3. Devising actor-based, time-aware, compositional analysis techniques and tools to address dependability by formal verification. The techniques are based on a modelling approach that focus on assets and vulnerabilities, can capture heterogeneity and openness of the system, support dynamic adaptation of the system, and can cope with scalability. Contact Person: Prof. Marjan Sirjani https://goo.gl/oesP1i The deadline for application is March 25, 2018. For detailed information about the available PostDoc positions see: https://goo.gl/nWjyai Contact Person: Prof. Mikael Sjödin
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
