Research Engineer

At Mälardalen University people meet who want to develop themselves and the future. We have 19 900 students reading courses and study programmes in Business and Economics, Health, Engineering and Education at our campuses in Eskilstuna and Västerås, or by distance. We conduct research within all fields of education and have internationally prominent research in Future Energy and Embedded Systems. Our close collaboration with the private and public sectors enable us at MDH to contribute towards the better health of people and towards a more sustainable planet. To strengthen Sweden as an education and research country, the Government is to upgrade Mälardalen University College to Mälardalen University from 1 January 2022.

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: 2021-06-03
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)

Position description
The work responsibilities include the following:

• Finding solutions for defined tasks based on the requirements and documents we receive from our industrial partners, or based on the research questions we define.
• Read the papers and survey the literature to make sure we use the state-of-art solutions.
• Develop software and build necessary simulations, we may choose Java, C or C++, based on the case, and the engineer should be able to program using these languages. Quality of software and its performance is important.
• Use Rebeca for building models and do model checking and formal verification. Use algorithms and theories to overcome state explosion problem during model checking.

Qualification requirements
 The applicant should have a Master’s degree in Computer Science or Software Engineering and shall have the following skills: 

• Skilled programmer in Java and C++
• Excellent understanding  and knowledge of: software engineering and software quality, concurrent programming, actor models and coordination languages, network programming, formal verification and model checking, Semantics and automata theory, timed systems and scheduling 

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
An interest in applying academic knowledge and research on problems received from industry. A background that is closely related to the proposed research area is considered a merit.

Application
In the application, the applicant must explain how his/her competence matches the above qualifications.

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

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.