Postdoc in Computer Science - Safe and Secure Adaptive Collaborative Systems

Postdoc in Computer Science - Safe and Secure Adaptive Collaborative Systems

Mälardalen University

Västeras, Sweden

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

Qualifications requirements

  • PhD in Computer Science or equivalent, not older than 3 years;
  • 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.

Apply Now

Don't forget to mention EuroScienceJobs when applying.

Share this Job

More Job Searches

Sweden     Academic     Computing/Programming     Maths and Computing     Postdoc     Mälardalen University    

© EuroJobsites 2019

EuroJobsites is a registered company number: 4694396 VAT number: GB 880 9055 04

Registered address: EuroJobsites Ltd, Unit 8, Kingsmill Business Park, Kingston Upon Thames, London, KT1 3GZ, United Kingdom

Newsletter | Recruit | Advertise | Privacy | Contact Us

© EuroJobsites 2019

EuroJobsites is a registered company number: 4694396 VAT number: GB 880 9055 04

Registered address: EuroJobsites Ltd, Unit 8, Kingsmill Business Park, Kingston Upon Thames, London, KT1 3GZ, United Kingdom

This website uses cookies to make your experience better. Continued use of this website means you accept our cookie policy.  Accept Cookies