Three PhD Positions in Embedded Systems, with Focus on Analysis of Systems with Mixed-Criticality Applications

[Philipp Ruemmer]

The Department of Information Technology at Uppsala University, Sweden,
is offering three PhD positions. The positions will be within the
Embedded Systems Group. Part of the research will be carried out in the
context of European FP7 project CERTAINTY.

   http://www.personalavd.uu.se/ledigaplatser/2279PhD.html

Information about the positions can be given by
   Philipp Rümmer <philipp.ruemmer at it.uu.se>
   Wang Yi <Wang.Yi at it.uu.se>

Description of the subject area
===============================

The introduction of advanced parallel processing architectures, in
particular multicore processors, is leading to an increasing trend in
embedded systems design towards implementing multiple functionalities
upon a single computing platform. However, in most applications, not all
the functionalities are equally critical for the overall performance of
the system or functionality to be guaranteed. This leads to new
challenges in the design, modelling, architecturing, implementation, and
analysis of embedded systems, since strong guarantees for
high-criticality functions have to be provided in the presence of
(computationally or data-intensive) low-criticality functions being
performed by the same system, in a cost-efficient manner.

The topic of the PhD research will be the development of methods to
handle functional and non-functional properties in mixed-criticality
systems, including (non-)interference, timing properties, and resource
consumption. This will encompass modelling as well as verification &
validation aspects. The research will partly build on leading tools
previously developed in the Embedded Systems Group at the Department of
Information Technology, such as the UPPAAL model checker and the TIMES
modelling tool.

Qualifications required
=======================

The candidates should have a Master of Science in Computer Science,
Computer Engineering, or equivalent. Experience in embedded systems,
real-time systems, or formal methods are desirable, as are good
implementation skills.

The positions are for a maximum of five years and include departmental
duties at a level of at most 20% (typically teaching) as well as course
studies. You will be expected to teach in Swedish or English. Excellent
skills in spoken and written English are an absolute requirement.

Application
===========

You are welcome to submit your application no later than
      3 October, 2011.

The application should include a description of research interests and
past experience, a CV, degrees and grades, a copy of Master thesis (or a
draft thereof), relevant publications, and other relevant documents.
Candidates are encouraged to include a description of themselves as well
as reasons for wanting to become a PhD student. In addition, letter(s)
of recommendation and contact information to reference persons, as well
as earliest feasible starting date of employment should be provided.