Academic Jobs

Malardalen University MDH Logo - Sweden

Postdoctoral Position in Verification of AI-based Systems – Malardalen, Sweden

Mälardalen University (MDH), Sweden

Apply Before the Deadline

Apply Now

Mälardalen University invites applications for a Postdoctoral position to Verification of AI-based Systems, School of Innovation, Design and Engineering, (IDT), Sweden. Job opportunities for PhD degree in Computer Science, or Computer engineering.

Support us by Sharing!

Scroll Down for Content

General Info

Position: Postdoctoral Position
No. of Positions: 1
Research Field: , , ,
Deadline to Apply:
Joining Date: ASAP
Contract Period: 2 Years
Salary: According to Standard Norms

School of Innovation
Design and Engineering, (IDT)
Mälardalen University (MDH)
Västerås, ,

Scroll Down for Content

Qualification Details

  • 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 at least basic notions of computer networking, especially on how computing devices operate in networked environments and on the related system characteristics.
  • 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.


Additional knowledge of AI/ML and distributed systems is considered a merit.

Responsibilities/Job Description

The postdoc will work on developing, adapting and applying verification techniques backed by mathematics, for ensuring that AI/ML components deliver the expected results to the non-AI components of networked (safety-critical) 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

( and will work closely with PhD students, senior researchers, and industrial partners in the group.

The position is a temporary employment of 2 years.

How to Apply?

Online Application through "Apply Now" Button from this page

Reference Number: 2021/2896
(If any, use it in the necessary place)

Scroll Down for Content

Documents Required

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 UniversityDivision of Human 2021/2896Box 883721 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.

About the School

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.

About the Employer: Mälardalen University (MDH)


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

Scroll Down for Content

Contact details

Cristina Seceleanu
+ 46 702 83 77 17

Tiberiu Seceleanu

Susanne Meijer
Union representative (OFR)
+46 (0) 21 10 14 89

Michaël Le Duc
Union representative SACO
+46 (0) 21 10 14 02

Advertisement Details: Postdoc in Verification of AI-based Systems

Other Vacancies from this field , ,

Scroll Down for Content

Support us by Sharing!