View source for Vacancy for a Ph.D. Studentship

= Background =

Software Product Lines (SPLs) have become common practice and have been proven effective in mass production and customisation of software.
There have been several attempts to provide a  structured discipline for testing SPLs.
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. 
This project aims at closing this gap by providing fundamental theories and developing tool support for model-based testing of SPLs.

= Qualifications =

The position is intended for someone with a Masters degree in Computer Science, Computer Engineering or closely related fields.
Desirable skills include expertise in formal methods, testing, software (product line) engineering and programming.


= Working Environment =

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.  

The research project will be carried out in collaboration with several internationally renowned research groups including 
the Verified Systems Group at the University of Bremen and the Dependable Systems Group at Saarland University.

For more information on the Model-Based Testing research at CERES, please see:  [[Research in Model-Based Testing and Verification]]

For more information on CERES please see:  [http://ceres.hh.se/ http://ceres.hh.se/]


= Living Environment =

Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between two cosmopolitan areas: 
the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live. 
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).

Sweden is well known for a very high quality of life and excellent social care facilities. 
There are excellent (incl. international) schools and day-cares around, as well as various recreational and entertainment facilities.

The working language is English and no knowledge of Swedish is required. 
Also for daily life, English is spoken widely and Sweden has the highest English Proficiency index in the world.   
If the student wishes to learn Swedish both the university and the local government provide extensive facilities.   


= Salary and Terms =

The position concerns a funded 4-year Ph.D. position (extensible for 1 more year). It offers a very competitive salary 
(ca. 24K SEK/month gross for the first year, increasing annually to ca. 30k SEK/month for the last year) and 
attractive employment terms. 

A Ph.D. student is considered a university employee and 
enjoys all the rights thereof (including pension and other social enumerations, as well as parental leave).


= Application Procedure and Deadlines =


The application should comprise a single PDF file and 
should be received no later than November 30, 2013. 


The application package consists of: 


* 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, 


* a CV that includes at least

** A list of previous degrees, dates, and institution

** Transcripts for higher-education studies until most recent available

** A list of publications and a description of previous research and other work experience and links to online copies of the most important publications

** Contact information for at least three references

** Optionally, results from standardised tests such as GRE or TOEFL may be included


We ask the candidates to send the required material to  [mailto:rekrytering1314@hh.se  rekrytering1314@hh.se]  with a CC to [mailto:m.r.mousavi@hh.se m.r.mousavi@hh.se] ,
mentioning "Ph.D. Position  IDE 14/13 " in the subject line.

Application must be received before 2013-11-31 to receive full consideration.  
The expected starting date is 2014-01-01, but is negotiable depending on the successful candidate's conditions.   

Informal enquiries regarding the position, the project and the working environment are most welcome and should be addressed to Mohammad Mousavi (m.r.mousavi@hh.se).

For employment terms, you may contact the representative of the labor union Kristina Hildebrand (SACO union representative).

= Back to [[Research in Model-Based Testing and Verification]] =