Postdoc in Computer Science – 5G-based Cloud Computing for Cyber-Physical Systems

Postdoc in Computer Science – 5G-based Cloud Computing for Cyber-Physical Systems

Mälardalen University

Västeras, Sweden

Position description

The position is going to be part of two research initiatives related to verification and validation of highly-configurable cyber-physical systems, powered by 5G and cloud computing. As a postdoctoral researcher, you will be involved in providing efficient and effective automated analysis techniques for variant-rich safety-critical embedded systems, as well as investigating how these techniques could scale to real-world industrial use cases (e.g., using electrical and software models from propulsion and control systems). You will also be involved in specifying an integrated architecture for 5G-enabled cloud-based systems, which will include common enabling technologies, such as, the 5G connectivity and cloud, IoT, security & privacy solutions, and their configuration, in order to meet the requirements of different services and domains of use. The architecture will be verified/validated by employing formal methods in the context of selected end-to-end scenarios of use cases from various domains (e.g. eHealth), in order to check the interplay between the different services and discover the full potential of the overall solution.The project will require close collaboration with companies like Bombardier Transportation, Tele2IoT, Camanio AB, Alkit, etc.

The position is a temporary employment of 2 years.

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 analysis and SMT solving;
  • Good knowledge of software development and testing;
  • Good publication record, and ability to conduct collaborative research;
  • Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.

Merit

  • Experience with cyber-physical system (formal) analysis;
  • Experience with cloud computing technologies;
  • Experience with software testing.

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