Researcher in Model-based Software Testing and Applied Formal Me
Mälardalens Högskola / Datajobb / Västerås
Observera att sista ansökningsdag har passerat.
Visa alla datajobb i Västerås,
Hallstahammar,
Surahammar,
Eskilstuna,
Enköping eller i
hela Sverige Visa alla jobb hos Mälardalens Högskola i Västerås,
Eskilstuna,
Arboga,
Flen,
Södertälje eller i
hela Sverige Mälardalen University (MDH) in Eskilstuna and Västerås is one of Sweden's biggest university colleges, with its 15000 students and 900 employees. Our 15000 students take courses and study programmes in Business, Health, Engineering and Education. We conduct research within all areas of education and have internationally outstanding research in future energy and embedded systems. Our close cooperation with the private and public sectors enables us at MDH to help people feel better and the earth to last longer. Mälardalen University is located on both sides of Lake Mälaren with campuses in Eskilstuna and Västerås.
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
Scope: Full time
Closing date for application: 2018-12-18
Campus location: Västeras
School: School of Innovation, Design and Engineering, (IDT)
Position description
We are looking for a skilled Ph.D. in Computer Science, Computer Engineering or Software Engineering, with a research background in Software Testing and Applied Formal Methods, and with an experience of minimum two years of postdoctoral work in those areas. The position activities primarily concern industrial co-production research in model-based testing and applied formal methods, as well as basic research in the areas. The candidate is expected to work closely with the MDH staff and other scientific partners, as well as the national industrial partners of the university. Some teaching duties may be part of the position, but not to a larger extent than 20%.
The position is a temporary employment of one year.
Qualifications requirements
The candidate should hold a Ph.D. degree in Computer Science, Computer Engineering, or Software Engineering, and postdoctoral research and pedagogical experience of at least two years in model-based testing and applied formal methods is also required. Publication in leading conferences and journals, as well as a track record of collaboration with industrial partners are essential. Ability to supervise graduate and undergraduate students, and teaching experience are required. International experience and a good understanding of software testing, formal modeling and verification (with an emphasis on model checking) and knowledge in embedded/cyber-physical systems are important aspects
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
Experience in the fields of model-based software testing, automated test generation, formal verification especially by model checking, and collaborative research with industry are considered of merit. The applicant should have demonstrated the ability to carry out both independent and team-based research, as well as the potential applicability of his/her research via prototype tools developed in collaboration with peer colleagues at MDH or elsewhere.
Application
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.
Varaktighet, arbetstid
Heltid/ Ej specificerat
Publiceringsdatum2018-11-29ErsättningMånadslön
Så ansöker duSista dag att ansöka är 2018-12-18
Klicka på denna länk för att göra din ansökanKontaktCristina Seceleanu, Associate Professor
cristina.seceleanu@mdh.seDaniel Sundmark, Professor
daniel.sundmark@mdh.seMichaël Le Duc, Union representative SACO 021-10 14 02
Susanne Meijer, Union representative OFR 021-10 14 89
FöretagMälardalens högskola
AdressMälardalens högskola
Box 883
72123 Västerås
KontorsadressBox 883
Jobbnummer 4481430
Observera att sista ansökningsdag har passerat.