[FM-India] Ph.D. Position in Model-Based Testing, Halmstad University, Sweden
madhavan at cmi.ac.in
Wed Feb 4 11:28:24 IST 2015
Date: Tue, 3 Feb 2015 13:42:28 +0100
From: "M.R. Mousavi" <m.r.mousavi at hh.se>
Subject: Ph.D. Position in Model-Based Testing, Halmstad University, Sweden
Funded Ph.D. Position in Computer Science
with focus on Model-Based Testing, Halmstad University, Sweden
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, funded by a project grant from
the Swedish Research Council (VR).
The general objectives of our research agenda are summarized below:
· Using domain-specific abstractions as starting points for test models,
· Augmenting behavioral models with structural information from the
implementation domain in order to generate effective concrete
· Devising effective mechanized test-data-selection criteria, by
integrating model- and implementation-based information as well as
redefining test-adequacy in this hybrid setting,
· Enabling compositional testing for concurrent systems in order to
· Devising concrete design for testability guidelines for a semantic
model of specification languages and translating them to examples of
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.
Terms of Employment
The position will be a 5-year Ph.D position (with a 1-year probation
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 selected candidate will perform research and assist in teaching
at the Centre for Research on Embedded Systems at Halmstad
The teaching assistance load will be about 20% of the time (usually
1-2 courses in a year).
The salary level is fixed at ca. 25 SEK/month gross.
The employed candidate enjoys the usual rights of a university
employee, such as pension and other social enumerations, as well as
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
engineering, and programming languages.
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.
For more information on CERES please see:
For more information on the Model-Based Testing research at CERES, please see:
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
The working language is English and no knowledge of Swedish is
required. Also for daily life, English is spoken widely and Sweden
has one of the highest English proficiency levels in the world. If
the student wishes to learn Swedish both the university and the local
government provide extensive facilities.
Application Procedure and Deadlines
The application should comprise a single PDF file and
should be received no later than March 1, 2015.
The application package shall consist of:
1. a cover letter stating the purpose of the application and a brief
statement of why you believe that your goals and past experience 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 complete list of publications and a description of previous
research and other work experience and links to online copies of the
most important publications
3. contact information for three references.
We ask the candidates to send the required material to
rekrytering153 at hh.se with a CC to m.r.mousavi at hh.se , mentioning
"Ph.D. Position EFFEMBAC" in the subject line.
Application must be received before 2015-03-01 to receive full
consideration. The expected starting date is 2015-04-01, but is
negotiable depending on the successful candidate's conditions.
For further information, please contact Prof. Mohammad Mousavi
(m.r.mousavi at hh.se), lab leader Dr. Jörgen Carlsson
(jorgen.carlsson at hh.se) or head of school Dr. Magnus Hållander
(Magnus.Hallander at hh.se).
For employment terms, you may contact the representative of the labor
union Kristina Hildebrand (Kristina.Hildebrand at hh.se) (representative
of the union Saco-S) or Jenny Engström (representative of the union
All can be reached at telephone +46 35-16 71 00 (switchboard).
More information about the FMIndia