Mälardalen University is growing and evolving due to increased research funding from the Swedish Government. Join our team on this exciting journey towards MDU`s vision, to be a progressive and collaborative University where together we shape a sustainable future. You can make a difference. Together, we can create a sustainable future through knowledge and innovation. We believe that knowledge and new perspectives are best attained and reached together in collaboration with others – our colleagues, students, the private and public sectors, both nationally and internationally.
Around 20 000 students are currently studying courses and programmes with us in the various domains. We offer education in areas such as design and communication, economics, health, engineering and technology, preschool and compulsory school teacher training as well as in chamber music and opera. In most of our areas we also offer programmes entirely taught in English. We conduct research in all disciplinary domains and our research in Future Energy and Embedded Systems is internationally prominent.
Mälardalen University is located in Sweden, on both sides of Lake Mälaren, with campuses in Eskilstuna and Västerås. Mälardalen is a region dominated by strong growth with several multinational companies based here such as ABB, Volvo, Westinghouse, Alstom and Northvolt. We enjoy close cooperation with the region’s private sector, municipalities, and county councils.
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
Closing date for application: 2022-08-08
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)
Position description
The postdoc will work on developing, adapting and applying modeling and verification techniques backed by mathematics, for ensuring that complex cyber-physical systems behave as intended. The systems under focus will be mainly autonomous systems that could also contain AI/machine-learning components working alongside traditional ones. For such systems, the verification should be scalable and relying on models able to explain and justify the decisions of the AI/ML algorithms. The postdoc will be hosted by the Formal Modeling and Analysis of Embedded Systems group (http://www.es.mdh.se/research-groups/35-Formal_Modelling_and_Analysis_of_Embedded_Systems) and will work closely with PhD students, senior researchers, and industrial partners in the group.
The position is a temporary employment of 2 years.
Qualifications requirements
The applicant is required to have a PhD degree in Computer Science, or Computer engineering, or equivalent. The applicant must have completed the degree no more than three years before the end of the application period.
The ideal candidate should have a strong background and experience in formal methods and their application to industrial systems. A good programming expertise is necessary, alongside with a provable capacity to learn and adapt to new technical contexts. Fluency in spoken and written English is required.
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 organisation.
Merit
Additional knowledge of AI/ML techniques and their combination with formal methods for system verification is considered a merit.
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: 2022/1803
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.
Union representatives:
Michaël Le Duc (SACO), tel: +46 (0) 21-10 14 02
Susanne Meijer (OFR), Tel: +46 (0) 21-10 14 89
Contact person
Cristina Seceleanu
Assoc.Prof
+ 46 702 83 77 17
cristina.seceleanu@mdu.se