[TYPES/announce] Assistant Professor / Researcher Position in Computer Science, Halmstad University, Sweden

[M.R. Mousavi]

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

Assistant Professor / Researcher Position in Computer Science with focus on
Model-Based Testing and Diagnosis at Halmstad University, Sweden

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

Background

===========

The position is funded by the AUTO-CAAS project, which is a joint project
on model-based testing and diagnosis of automotive software,
to be carried out in collaboration with QuviQ and ArcCore companies and to
be funded by the Swedish Knowledge Foundation.


The Automotive Open System Architecture (AUTOSAR) standard is gaining
momentum with several automotive manufacturers (such as Volvo) and there is
a growing trend towards new vehicle platforms based on the latest versions
of this standard. The standard enables manufacturers to allow Tier-1
suppliers to contract arbitrary Tier-2 software developer for ECUs, as long
as the developed software conforms to the specified behavior according to
AUTOSAR. This is in clear contrast to earlier situation, in which a
preferred Tier-2 developer was appointed to develop software for all Tier-1
hardware suppliers.  This paradigm shift brings about economical and
financial benefits (both for suppliers and manufacturers). However, it also
introduces certain risks and challenges.


The AUTOSAR standard is complex and does leave room for interpretation and
optimizations. In order to be competitive, Tier-2 developers strive after
implementing several optimizations and utilizing room for interpretation of
the standard to make their product out-perform the competition.


The goal of this project is to exploit the technology of model-based
testing in order to detect deviations from the AUTOSAR standard and
furthermore trace the consequences of such deviations into visible
deviating behavior (failures).


Terms of Employment

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

The position will be fixed term 3-year position (renewed yearly with mutual
consent),
as an assistant professor or a (postdoctoral) researcher,
depending on the qualifications and interests of the chosen candidate.
The position is supposed to start on February 1, 2015.
The starting time can be negotiated (within an interval of ca. 3 months)
depending the availability of the candidate.
The selected candidate will perform research and teaching at  the Center
for Research on Embedded Systems at Halmstad University.
The teaching load for the assistant professor position will be about 20% of
the time (up to 2 courses in a year).

If the candidate is selected for the assistant professor position,
a plan will be devised to facilitate career development into a permanent
associate professor ("universitetslektor") position.
Upon availability of funds and by mutual agreement the contract may then be
extended or made permanent.

For the assistant professor position the salary is to be settled by
negotiation.
The application should include a statement of the salary level required by
the candidate.
For the postdoc position, the salary level is fixed at ca. 35 SEK/month
gross and 29k SEK/month net .
The employed candidate enjoys the usual rights of a university employee,
such as pension and other social enumerations, as well as parental leave.


Qualifications

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

The position is intended for someone with a PhD degree in Computer Science,
Computer Engineering, or closely related fields not earlier than 7 years
before the time limit for applying. Desirable skills include expertise in
formal methods, testing, software engineering, and programming languages.
The research track record should demonstrate excellence in research in one
of the above-mentioned areas.
For the assistant professor position, a track record of teaching or
tutoring is required.

Working Environment

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

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.

The research project will be carried out in collaboration with Quviq and
ArcCore companies as well as several internationally renowned research
groups.

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 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 December 30, 2014.


The application package shall consist of:

1. a cover letter stating the position applied for (assistant professor or
postdoctoral researcher),
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,
together with a description of future research plans,

2. an attested 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. a maximum of 8 publications

4. contact information for at least three references.


We ask the candidates to send the required material to rekrytering1436 at hh.se
with a CC to  m.r.mousavi at hh.se ,
mentioning "Postdoc/Assistant Prof Position  AUTO-CAAS" in the subject line.


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


For further information, please contact Professor 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 employ­ment 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 OFR/S).
All can be reached at telephone +46 35-16 71 00 (switchboard).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141127/122f1c7d/attachment-0001.html>