PhD students specializing in embedded systems
Mälardalens Högskola / Högskolejobb / Västerås
Observera att sista ansökningsdag har passerat.
Visa alla högskolejobb 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 Real-Time research Centre (MRTC), within the School of Innovation, Design and Engineering at Mälardalen University (MDH), Västerås, Sweden, is looking for two new PhD-students specializing in formal modelling and verification applied to industrial embedded systems. The students will be recruited under the VeriSpec project, a joint research project between MDH, Scania CV and AB Volvo, funded by VINNOVA.
The need for more advanced formal methodologies for design, development and verification of embedded systems has been identified by both industry and academia. VeriSpec will develop new, as well as adapt existing, modelling and verification techniques and relevant tool support for the analysis of requirements and architectural models of automotive systems, which could be seamlessly integrated within the industrial methodology of system development regulated by the functional safety standard ISO 26262.
The concrete project outcomes will be (i) a language by which requirements can be formalised and related to the system architecture, (ii) methods for automatic verification of architectural models against requirements, and (iii) a prototype implementation of the developed framework compatible with the industrial practices and processes.
From an industrial perspective, the adoption of these new methods and techniques raises challenges concerning the integration of new practices and related tools in the industrial processes and tool-chains. In order to tackle this problem, VeriSpec seeks for close interaction between academia (MDH) and industry (Scania CV and AB Volvo). Each PhD student is expected to spend certain research time within the companies, in order to gain better insight into the current industrial needs and practices.
Qualifications
The applicant should have a master degree in computer science, computer engineering or equivalent.
Experience in embedded systems design is a merit, as is knowledge of development methods and tools for model-based software engineering, model-driven engineering and discrete mathematics.
Decisive importance is attached to personal suitability, including a keen interest in direct cooperation with industrial partners. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.
Application
An application prepared in English should contain:
1. Short CV: data about yourself including date of birth, sex, address, e-mail address if possible.
2. Copy of an official document giving grades from you undergraduate degree(s) or studies.
3. A description of:
a) an area of interest within your chosen subject(s) and maybe plans for research if any
b) previous work and teaching experience if any
c) previous PhD studies, also in other subjects.
4. If possible, some letters of recommendation from people who know you as a student or as an employee.
5. Any scientific papers you may have written (Master's thesis, project report etc).
6. Other relevant information.
To apply, please send your application to the following address:
Registrator, Personnel Division
Mälardalen University
Box 883,
SE-721 23 Västerås
Sweden
It is also possible to send your application by e-mail to the address
ansokan@mdh.se . Please state the reference number 123/13 in your application.
Application sent electronically should be in Word or PDF format.
Publiceringsdatum2013-06-11Arbetstider och omfattningVisstidsanställning 6 månader eller längre
Heltid
ErsättningFast lön
Så ansöker duSista dag att ansöka är 2013-07-05
Ange följande referens när du ansöker: 123/13
Ansökan kan skickas till e-postadress:
ansokan@mdh.seKontaktHans Hansson, Professor 021-10 31 63
Guillermo Rodriguez-Navas, Dr.
Cristina Seceleanu, Dr. 021-15 17 64
Facklig kontaktElisabeth C Andersson, SACO 021-10 14 51
Susanne Meijer, OFR 021-10 14 89
FöretagMÄLARDALENS HÖGSKOLA
AdressMÄLARDALENS HÖGSKOLA
BOX 883
72123 VÄSTERÅS
KontorsadressVASAGATAN 44
VÄSTERÅS
Övriga kontaktuppgifterTelefonnummer: 021-101300
Jobbnummer 1579102
Observera att sista ansökningsdag har passerat.