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.