Mälardalen University (MDH), Sweden, offers a PhD-studentship and a PostDoc position in the context of the KKS Synergy project SACSys: Safe and Secure Adaptive Collaborative Systems (http://www.es.mdh.se/projects/540-Safe_and_Secure_Adaptive_Collaborative_Systems).
Research Group: Cyber-Physical Systems Analysis within the Embedded Systems Research Center (http://www.es.mdh.se/). Contact: Prof. Marjan Sirjani ([email protected]<mailto:[email protected]>) Industrial Partners: Volvo Cars, Volvo GTO, Volvo CE and ABB Robotics Project Description: In SACSys, we address the core question of how to provide run-time guarantees of safety and cyber-security for time-critical collaborative adaptive systems. For achieving this goal, we will recognize and define continuous safety and security requirements with time-criticality features in adaptive systems, and design behavioral models at run-time to analyze and check conformance of the safety and security requirements. The analysis of such models will be executed in a suitable cloud-based platform with real-time guarantees, provided by novel approaches.The project will contribute by proposing an architecture and suitable models tailored for collaborative adaptive systems, building efficient analysis techniques suitable for formal verification of safety and security requirements at run-time, tailored for collaborative adaptive systems, and developing methodologies for run-time performance evaluation, planning and optimization to deal with changes in the system and in the environment in a continuous and safe way. As research outcome we expect publications, and (prototype) tools. See relative publications at http://www.rebeca-lang.org/wiki/pmwiki.php/Rebeca/Publications Link to the application page for the PostDoc Position: https://www.mdh.se/hogskolan/jobb/lediga-jobb-1.103104 Qualifications: Required qualifications: * PhD in Computer Science or equivalent * Fluent in English, both written and in conversation. * Good knowledge of Formal methods and Concurrency theory, Embedded and real-time systems, Adaptive systems * Programming in C++ and Java, * Good publication record, and ability to conduct collaborative cross-disciplinary research. Link to the application page for the PhD Studentship Position: https://www.mdh.se/hogskolan/jobb/lediga-jobb-1.103104 Qualifications: A successful applicant should have demonstrated knowledge and skills in some kind of modeling and analyzing different types of systems. Required qualifications: • Master of Science in Computer Science or equivalent • Fluent in English, both written and in conversation. Beneficial qualifications include knowledge on: • Formal methods, • Concurrency theory, • Model checking, • Embedded and real-time systems, • Programming in C++ and Java, and a publication record, and ability to conduct collaborative cross-disciplinary research. Contact: If you are interested in applying and/or need more information contact Marjan Sirjani ([email protected]<mailto:[email protected]>) Application: 1. Full CV including publication record if any (pinpoint the most important papers and describe your contributions), previous work and teaching experience if any, previous PhD studies, also in other subjects. 2. Copy of an official document giving grades from your graduate and undergraduate degree(s) or studies. 3. Motivation letter describing your experience and professional interests. 4. Letters of recommendation from people who know you as a student or as an employee, preferably including your MSc thesis supervisor. 5. Any scientific papers you may have written (Master´s thesis, PhD thesis, project report etc). 6. Other relevant information. Application Deadline: Nov. 21, 2019 We look forward to receiving your application. SACSys ABSTRACT. There is a rapid development of technology such as self-driving cars and collaborating robots. These products are additionally integrated into collaborating ensembles, capable of delivering collaborative functions, such as vehicle platooning. At the same time as the complexity and diversity of these systems grow, they have to become increasingly adaptive, both because their complex interplay and behavior cannot be fully predicted and analyzed at design-time, and also because they operate in unpredictable environments. Current state-of-practice in system architecture, software development and safety and security assurance is challenged by this development. In SACSys, we address the core question of how to provide run-time guarantees of safety and cyber-security for time-critical collaborative adaptive systems. For achieving this goal, we will recognize and define continuous safety and security requirements with time-criticality features in adaptive systems (through subproject CASSA), and design behavioral models at run-time to analyze and check conformance of the safety and security requirements (through subproject APAC). The analysis of such models will be executed in a suitable cloud-based platform with real-time guarantees, provided by novel approaches (developed within subproject RTCloud). These subprojects will each contribute with a required element, and jointly provide a viable answer to the SACSys core question. The Swedish industrial giants, Volvo Cars, Volvo GTO, Volvo CE and ABB Robotics participate in coproduction throughout the project by provision of requirements and use cases as well as involvement and guidance in research focus and implementation. The co-production and results of SACSys are expected to increase the business prospects of the industrial partners by increased competence and key solutions that will strengthen their competitiveness related to design of collaborative adaptive system products and services. Prof. Edward Lee from UC Berkeley, the world’s leading expert in cyber-physical systems, and Prof. David Garlan from CMU, the internationally known expert in self-adaptive software, will contribute as external advisors of the project.
---- [[ 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] ]]
