<div dir="ltr">========================================================================================<br><br>Assistant Professor / Researcher Position in Computer Science with focus on <br>Model-Based Testing and Diagnosis at Halmstad University, Sweden<br><br>========================================================================================<br><br>Background<br><br>===========<br><br>The position is funded by the AUTO-CAAS project, which is a joint project on model-based testing and diagnosis of automotive software, <br>to be carried out in collaboration with QuviQ and ArcCore companies and to be funded by the Swedish Knowledge Foundation. <br><br><br>The Automotive Open System Architecture (AUTOSAR) standard is gaining momentum with several automotive manufacturers (such as Volvo) 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 arbitrary Tier-2 software developer for ECUs, as long as the developed software conforms to the specified behavior according to AUTOSAR. This is in clear contrast to earlier situation, in which a preferred Tier-2 developer 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 introduces certain risks and challenges.<br><br><br>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.<br> <br><br>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 deviating behavior (failures).<br><br><br>Terms of Employment<br><br>=================<br><br>The position will be fixed term 3-year position (renewed yearly with mutual consent), <br>as an assistant professor or a (postdoctoral) researcher, <br>depending on the qualifications and interests of the chosen candidate. <br>The position is supposed to start on February 1, 2015. <br>The starting time can be negotiated (within an interval of ca. 3 months) depending the availability of the candidate. <br>The selected candidate will perform research and teaching at  the Center for Research on Embedded Systems at Halmstad University. <br>The teaching load for the assistant professor position will be about 20% of the time (up to 2 courses in a year). <br><br>If the candidate is selected for the assistant professor position, <br>a plan will be devised to facilitate career development into a permanent associate professor (&quot;universitetslektor&quot;) position.<br>Upon availability of funds and by mutual agreement the contract may then be extended or made permanent. <br><br>For the assistant professor position the salary is to be settled by negotiation. <br>The application should include a statement of the salary level required by the candidate.<br>For the postdoc position, the salary level is fixed at ca. 35 SEK/month gross and 29k SEK/month net . <br>The employed candidate enjoys the usual rights of a university employee, such as pension and other social enumerations, as well as parental leave.<br><br><br>Qualifications<br><br>================<br><br>The position is intended for someone with a PhD degree in Computer Science, Computer Engineering, or closely related fields not earlier than 7 years before the time limit for applying. Desirable skills include expertise in formal methods, testing, software engineering, and programming languages. <br>The research track record should demonstrate excellence in research in one of the above-mentioned areas. <br>For the assistant professor position, a track record of teaching or tutoring is required.<br><br>Working Environment<br><br>====================<br><br>The selected candidate will be performing research in a very vigorous and international research environment at the Center for Research on Embedded Systems (CERES) at Halmstad University.  <br><br>The research project will be carried out in collaboration with Quviq and ArcCore companies as well as several internationally renowned research groups.<br><br>For more information on CERES please see:<br><br><a href="http://ceres.hh.se/">http://ceres.hh.se/</a><br><br>For more information on the Model-Based Testing research at CERES, please see:<br><br><a href="http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification">http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification</a><br><br><br>Living Environment<br><br>===================<br><br>Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between two cosmopolitan areas:<br>the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live.<br>It can be reached by a direct train connection from the Copenhagen Kastrup Airport, as well as many other local airports (e.g., Halmstad, Malmo, and Angelholm airports).<br><br>Sweden is well known for a very high quality of life and excellent social care facilities.<br>There are excellent (incl. international) schools and day-cares around, as well as various recreational and entertainment facilities.<br><br>The working language is English and no knowledge of Swedish is required.<br>Also for daily life, English is spoken widely and Sweden has one of the highest English proficiency levels in the world.  <br>If the student wishes to learn Swedish both the university and the local government provide extensive facilities.  <br><br><br><br>Application Procedure and Deadlines<br><br>=====================================<br><br><br>The application should comprise a single PDF file and<br>should be received no later than December 30, 2014.<br><br><br>The application package shall consist of:<br><br>1. a cover letter stating the position applied for (assistant professor or postdoctoral researcher), <br>the purpose of the application and <br>a brief statement of why you believe that your goals are well-matched with the goals of this position, <br>together with a description of future research plans,<br><br>2. an attested CV that includes at least<br><br>a list of previous degrees, dates, and institution, transcripts for higher-education studies until most recent available<br>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<br><br>3. a maximum of 8 publications<br><br>4. contact information for at least three references.<br><br><br>We ask the candidates to send the required material to <a href="mailto:rekrytering1436@hh.se">rekrytering1436@hh.se</a> with a CC to  <a href="mailto:m.r.mousavi@hh.se">m.r.mousavi@hh.se</a> , <br>mentioning &quot;Postdoc/Assistant Prof Position  AUTO-CAAS&quot; in the subject line.<br><br><br>Application must be received before 2014-12-30 to receive full consideration.  <br>The expected starting date is 2015-02-01, but is negotiable depending on the successful candidate&#39;s conditions.   <br><br><br>For further information, please contact Professor Mohammad Mousavi (<a href="mailto:m.r.mousavi@hh.se">m.r.mousavi@hh.se</a>), <br>lab leader Dr. Jörgen Carlsson (<a href="mailto:jorgen.carlsson@hh.se">jorgen.carlsson@hh.se</a>) or head of school Dr. Magnus Hållander (<a href="mailto:Magnus.Hallander@hh.se">Magnus.Hallander@hh.se</a>). <br>For employ­ment terms, you may contact the representative of the labor union Kristina Hildebrand (<a href="mailto:Kristina.Hildebrand@hh.se">Kristina.Hildebrand@hh.se</a>) (representative of the union Saco-S) or <br>Jenny Engström (representative of the union OFR/S). <br>All can be reached at telephone +46 35-16 71 00 (switchboard).</div>