<div dir="ltr"><div dir="ltr">========================================================================================<br><br>Funded Ph.D. Position in Computer Science<br>with focus on Model-Based Testing, Halmstad University, Sweden<br><br>========================================================================================<br><br>Background<br><br>===========<br><br>The position is in the context of the EFFEMBAC (Effective Model-Based Testing of Concurrent System) project, which is on combining model-based- and symbolic execution,<br>funded by a project grant from the Swedish Research Council (VR).<br><br>The general objectives of our research agenda are summarized below:<br><br>· Using domain-specific abstractions as starting points for test models,<br><br>· Augmenting behavioral models with structural information from the implementation domain in order to generate effective concrete test-cases,<br><br>· Devising effective mechanized test-data-selection criteria, by integrating model- and implementation-based information as well as redefining test-adequacy in this hybrid setting,<br><br>· Enabling compositional testing for concurrent systems in order to manage complexity,<br><br>· Devising concrete design for testability guidelines for a semantic model of specification languages and translating them to examples of domain-specific languages.<br><br>The project will be carried out in collaboration with internationally renowned researchers from University of Illinois at Urbana Champaign, Radboud University Nijmegen and Reykjavik University.<br><br><br>Terms of Employment<br><br>=================<br><br>The position will be a 5-year Ph.D position (with a 1-year probation period).<br><br>The position is supposed to start on April 1, 2015, or any time later (within an interval of ca. 3 months) depending the availability of the candidate.<br><br>The selected candidate will perform research and assist in teaching at  the Centre for Research on Embedded Systems at Halmstad University.<br><br>The teaching assistance load will be about 20% of the time (usually 1-2 courses in a year).<br><br>The salary level is fixed at ca. 25 SEK/month gross.<br><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 masters degree in Computer Science, Computer Engineering, or closely related fields.<br><br>Desirable skills include expertise in formal methods, testing, software engineering, and programming languages.<br><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>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 March 1, 2015.<br><br><br>The application package shall consist of:<br><br>1. a cover letter stating the purpose of the application and<br>a brief statement of why you believe that your goals and past experience are well-matched with the goals of this position,<br><br>2. a 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><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. contact information for three references.<br><br><br>We ask the candidates to send the required material to <a href="mailto:rekrytering153@hh.se">rekrytering153@hh.se</a> with a CC to <a href="mailto:m.r.mousavi@hh.se">m.r.mousavi@hh.se</a> ,<br>mentioning &quot;Ph.D. Position EFFEMBAC&quot; in the subject line.<br><br><br>Application must be received before 2015-03-01 to receive full consideration.  <br>The expected starting date is 2015-04-01, but is negotiable depending on the successful candidate&#39;s conditions.  <br><br><br>For further information, please contact Prof. 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><br>For employment 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).<br></div></div>