Postdoc in Formal Analysis and Testing of System

MDH in Eskilstuna and Västerås is one of Sweden?s biggest university colleges with its 14 000 students and 900 employees. It has a long tradition of cooperating with society and has entered strategic agreements with both the public and the private sector. Most study programmes fall into four main areas: economy, health and welfare, education, and technology. With its research, which often takes the form of co-production on the regional, national and global levels, MDH aims to generate useful solutions for societal development. In 1999, MDH was the world?s first university to be environmentally certified, and in 2006, it was the first higher education institution in Sweden to be certified for its work environment.

POSITION DESCRIPTION

We are offering a postdoc position in the area of formal analysis and testing of system architectures of distributed systems, within the CAMI project.

CAMI is an EU project within the Ambient Assisted Living program, and proposes a ?Companion with Autonomously Mobile Interface (CAMI)? in an ?Artificially intelligent ecosystem for self-management and sustainable quality of life in Ambient Assisted Living?. CAMI?s development aims at creating a framework with an innovative architecture relying from its very core to its higher layers on Artificial Intelligence (AI) and allowing a seamless integration of any number of sensors and home appliances with commercial robotic platforms. CAMI?s aim is to pave the road of ?robots? into the field of ambient assisted living and in settings characterized by a substantial human-machine interaction. CAMI offers a fully integrated AAL solution at the overlap of tele- care and health, smart homes and robotics by offering services for social care (incl. entertainment and support for information overload), health care, home care and mobility (compensate for reduced mobility).

CAMI enables flexible, scalable and individualized services that will support older adults in general, and old adults with cardiovascular diseases, diabetes and mild cognitive impairment in particular, to self-manage their daily life and prolong their involvement in the society.

This postdoc position focuses on research in the following areas: (i) developing formal models of architectures of dynamically configurable and scalable multi-agent systems, (ii) developing/applying formal analysis methods and testing of the above mentioned models against real-time constraints and other quality-of-service attributes, (iii) proposing strategies for testing implementations of such dynamic distributed systems.

The position is a temporary employment of two years.

QUALIFICATIONS

The applicant is required to have a PhD degree in Computer Science, Computer Engineering, or a related field.

Knowledge and previous experience on methods and tools for formal analysis and testing of embedded systems at architectural level is required. Knowledge of Eclipse and previous experience with integrated development environments is a plus.
Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.

To read the ad in full, see www.mdh.se/jobb.

We decline all contact with recruiters and salespersons of advertisements. We have made our strategic choices for this recruitment.