<div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><span style="font-size:13px;font-family:arial,sans-serif">==============================</span><span style="font-size:13px;font-family:arial,sans-serif">==============================</span><span style="font-size:13px;font-family:arial,sans-serif">============================</span><br>
<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden<br><br>========================================================================================<br>
<br>Background</div><div><br><font face="arial, sans-serif">===========</font><br><br><font face="arial, sans-serif">Software Product Lines (SPLs) have become common practice and have been proven effective in mass production and customisation of software.</font><br>
<font face="arial, sans-serif">There have been several attempts to provide a structured discipline for testing SPLs.</font><br><font face="arial, sans-serif">However, fundamental approaches to model-based testing (based on finite state machines and labeled transition systems) are not yet fully adapted to and adopted in this domain. </font></div>
<div><font face="arial, sans-serif">This project aims at closing this gap by providing fundamental theories and developing tool support for model-based testing of SPLs.</font><br><br><font face="arial, sans-serif">Qualifications</font><br>
<br><font face="arial, sans-serif">================</font><br><br><font face="arial, sans-serif">The position is intended for someone with a Masters degree in Computer Science, Computer Engineering or closely related fields.</font></div>
<div><font face="arial, sans-serif">Desirable skills include expertise in formal methods, testing, software (product line) engineering and programming.</font><br><br><br><font face="arial, sans-serif">Working Environment </font><br>
<br><font face="arial, sans-serif">====================</font><br><br><font face="arial, sans-serif">The Ph.D. student will be performing research in a very vigorous and international research environment at the Center for Research on Embedded Systems (CERES) at Halmstad University. </font><br>
<br><font face="arial, sans-serif">The research project will be carried out in collaboration with several internationally renowned research groups including </font></div><div><font face="arial, sans-serif">the Verified Systems Group at the University of Bremen and the Dependable Systems Group at Saarland University.</font><br>
<br><font face="arial, sans-serif">For more information on the Model-Based Testing research at CERES, please see: </font><br><br><a href="http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification" style="font-family:arial,sans-serif;font-size:13px" target="_blank">http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification</a><br>
<br><font face="arial, sans-serif">For more information on CERES please see: </font><br><br><a href="http://ceres.hh.se/" style="font-size:13px;font-family:arial,sans-serif" target="_blank">http://ceres.hh.se/</a><br><br>
<br><font face="arial, sans-serif">Living Environment </font><br><br><font face="arial, sans-serif">===================</font><br><br><font face="arial, sans-serif">Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between </font><font face="arial, sans-serif">two cosmopolitan areas: </font></div>
<div><font face="arial, sans-serif">the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live. </font></div><div><font face="arial, sans-serif">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).</font><br>
<br><font face="arial, sans-serif">Sweden is well known for a very high quality of life and excellent social care facilities. </font></div><div><font face="arial, sans-serif">There are excellent (incl. international) schools and day-cares around, as well as various recreational and entertainment facilities.</font><br>
<br><font face="arial, sans-serif">The working language is English and no knowledge of Swedish is required. </font><br><font face="arial, sans-serif">Also for daily life, English is spoken widely and Sweden has the highest English Proficiency index in the world. </font><div style="font-family:arial,sans-serif;font-size:13px">
If the student wishes to learn Swedish both the university and the local government provide extensive facilities. <br><br><br>Salary and Terms<br><br>=================<br><br>The position concerns a funded 4-year Ph.D. position (extensible for 1 more year). It offers a very competitive salary </div>
<div style="font-family:arial,sans-serif;font-size:13px">(ca. 24K SEK/month gross for the first year, increasing annually to ca. 30k SEK/month for the last year) and </div><div style="font-family:arial,sans-serif;font-size:13px">
attractive employment terms. <br><br>A Ph.D. student is considered a university employee and </div><div style="font-family:arial,sans-serif;font-size:13px">enjoys all the rights thereof (including pension and other social enumerations, as well as parental leave).<br>
<br><br>Application Procedure and Deadlines<br><br>=====================================<br><br><br>The application should comprise a single PDF file and </div><div style="font-family:arial,sans-serif;font-size:13px">should be received no later than November 30, 2013. <br>
<br><br>The application package consists of: <br><br><br>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, <br>
<br><br>2) a CV that includes at least<br><br>- A list of previous degrees, dates, and institution<br><br>Transcripts for higher-education studies until most recent available<br><br>- A 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>- Contact information for at least three references</div><div style="font-family:arial,sans-serif;font-size:13px"><br>- Optionally, results from standardised tests such as GRE or TOEFL may be included<br></div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><br>We ask the candidates to send the required material to <a href="mailto:rekrytering121@hh.se" target="_blank">rekrytering121@hh.se</a> with a CC to <a href="mailto:m.r.mousavi@hh.se" target="_blank">m.r.mousavi@hh.se</a> ,<br>
mentioning "Ph.D. Position IDE 14/13 " in the subject line.<br>The candidates will be asked to formally apply by sending the same material to the university registrar, as soon as the position is formally announced on the university website.</div>
<div><br>Application must be received before 2013-11-31 to receive full consideration. <br>The expected starting date is 2014-01-01, but is negotiable depending on the successful candidate's conditions. <br><br>Informal enquiries regarding the position, the project and the working environment are most welcome and should be addressed to Mohammad Mousavi (<a href="mailto:m.r.mousavi@hh.se" target="_blank">m.r.mousavi@hh.se</a>).<br>
<br>For employment terms, you may contact the representative of the labor union Kristina Hildebrand (SACO union representative).<br></div><div><br></div></div></div></div></div></div></div></div></div><div dir="ltr"><br>
</div>
</div></div></div></div>
</div><br></div></div>