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 informationEmployment: 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 descriptionThe 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.
- 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
- Experience with cyber-physical system (formal) analysis
- Experience with cloud computing technologies
- Experience with software testing
ApplicationApplication 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:
Division of Human Resources
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.