瑞典Mälardalen University一实验室招关于verification of AI systems 方面的博后，链接如下：https://web103.reachmee.com/ext/I018/1151/job？

site=8&lang=UK&validator=2efd9e54ee423d53334ac7960e3b4e03&job_id=1342

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.

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

Position 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

(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 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.

Merit

Additional knowledge of AI/ML and distributed systems 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: 2021/2896
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.

Contact person

URL to this page

https://web103.reachmee.com/ext/I018/1151/main?site=8&validator=2efd9e54ee423d53334ac7960e3b4e03&lang=UK&rmpage=job&rmjob=1342&rmlang=UK