arbetsgivarverket.se

Jobba Statligt

Postdoc in Computer Science – 5G-based Cloud

  • Yrkesroll

    Doktorand

  • Anställning

    Heltid, 6 månader eller längre

  • Lön

    Fast månads- vecko- eller timlön

  • Publicerad

    13 november

  • Sök jobbet senast

    15 december

Om jobbet

At Mälardalen University people meet who want to develop themselves and the future. Our 16 000 students read courses and study programmes in Business, Health, Engineering and Education. We conduct research within all areas of education and have internationally outstanding research in future energy and embedded systems. Our close cooperation with the private and public sectors enables us at MDH to help people feel better and the earth to last longer. Mälardalen University is located on both sides of Lake Mälaren with campuses in Eskilstuna and Västerås.

At the School of Innovation, Design and Engineering our students are studying to be for example innovators, entrepreneurs, illustrators, communications officers, network technicians and engineers. Here we have the research specialisations of Embedded Systems, and Innovation and Product Realisation. Our work takes place in cooperation with and in strategic agreements with companies, organisations and public authorities in the region.

Employment information

Employment: Temporary employment, 2 years
Scope: Full time, 2 years
Closing date for application: December 15, 2019
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)

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 

Application

Application is made online. Make your application by clicking the "Apply" button below.

The scientific publications that you do not have in digital form are to be sent by post to:

Mälardalen University
Division of Human Resources
Ref.no: 2019/2829
Box 883
721 23 Västerås

The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than closing date for application.

We look forward to receiving your application.

We decline all contact with recruiters and salespersons of advertisements. We have made our strategic choices for this recruitment.