Post doctoral researcher in computer science

Högskolan i Halmstad / Högskolejobb / Halmstad
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Högskolan i Halmstad

Visa alla högskolejobb i Halmstad, Laholm, Båstad, Falkenberg, Ängelholm eller i hela Sverige
Visa alla jobb hos Högskolan i Halmstad i Halmstad

Research focus:
The Automotive Open System Architecture (AUTOSAR) standard is gaining momentum with several auto¬motive manufacturers and there is a growing trend towards new vehicle platforms based on the latest versions of this standard. The standard enables manufacturers to allow Tier-1 suppliers to contract arbitra¬ry Tier-2 software developer for ECUs, as long as the developed software conforms to the specified beha¬vior according to AUTOSAR. This is in clear contrast to earlier situation, in which a preferred Tier-2 de¬veloper was appointed to develop software for all Tier-1 hardware suppliers. This paradigm shift brings about economical and financial benefits (both for suppliers and manufacturers). However, it also introdu¬ces certain risks and challenges.
The AUTOSAR standard is complex and does leave room for interpretation and optimizations. In order to be competitive, Tier-2 developers strive after implementing several optimizations and utilizing room for interpretation of the standard to make their product out-perform the competition.
The goal of this project is to exploit the technology of model-based testing in order to detect deviations from the AUTOSAR standard and furthermore trace the consequences of such deviations into visible de¬via¬ting behavior (failures).

Principal duties:
The selected candidate will be performing research in a very vigorous and international research environ¬ment at the Center for Research on Embedded Systems (CERES). CERES is a part of Halmstad Embed¬ded and Intelligent Systems Research (EIS) at the School of Information Science, Computer and Electrical Engineering (IDE). The research project will be carried out in collaboration with Quviq and ArcCore companies as well as several internationally renowned research groups.

For more information on CERES please see: http://ceres.hh.se/
For more information on the Model-Based Testing research at CERES: Research in Model-Based Testing and Verification

Qualification:
The position is intended for someone with a PhD degree in Computer Science, Computer Engineering , or closely related fields not ear¬lier than 3 years before the time limit for applying. Desirable skills include expertise in formal methods, testing, software engineering, and programming languages. The research track record should demonstrate excellence in research in one of the above-mentioned areas.

Application:
The application, marked with ref no IDE 12/14, shall reach Halmstad University no later than 2015-01-16. The application shall be sent either as one pdf by e-mail (preferably) to rekrytering1437@hh.se (cc m.r.mousavi@hh.se ) or by regular mail to Halmstad University, Registrator, Box 823, SE-30118 HALMSTAD.

The application package shall consist of:
1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position, together with a description of future research plans
2) an attested CV that includes at least
• a list of previous degrees, dates, and institution, transcripts for higher-education studies until most recent available
• a complete list of publications and a description of previous research and other work experience and links to online copies of the most important publications
3) contact information for at least three references.

Publiceringsdatum
2014-12-04

Arbetstider och omfattning
Visstidsanställning 6 månader eller längre
Heltid

Ersättning
Fast månads- vecko- eller timlön
Salary is to be settled by negotiation. The application should include a statement of the salary level required by the candidate.

Så ansöker du
Sista dag att ansöka är 2015-01-16
Ange följande referens när du ansöker: IDE 13/14
Ansökan kan skickas till e-postadress: rekrytering1437@hh.se

Kontakt
Niklas Tholin, HR-specialist 035 - 16 71 00 (Telefon)

Företag
Högskolan i Halmstad

Adress
Högskolan i Halmstad
Box 823
30118 HALMSTAD

Kontorsadress
Kristian IV:s väg 3

Övriga kontaktuppgifter
Telefonnummer: 035-167100

Jobbnummer
2090859

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Högskolan i Halmstad

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Högskolan i Halmstad: