[TYPES/announce] Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden

[M.R. Mousavi]

============================================================
============================

Funded Ph.D. Position on Model-Based Testing of Software Product Lines at
Halmstad University, Sweden

========================================================================================

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 CERES please see:

http://ceres.hh.se/

For more information on the Model-Based Testing research at CERES, please
see:

http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification


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:


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,


2) 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
rekrytering121 at hh.se  with
a CC to m.r.mousavi at hh.se ,
mentioning "Ph.D. Position  IDE 14/13 " in the subject line.
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.

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 at hh.se).

For employment terms, you may contact the representative of the labor union
Kristina Hildebrand (SACO union representative).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20131011/885d70d1/attachment.html>