[ecoop-info] PhD Position in Autonomous Systems Analysis and Synthesis - MDH, Sweden

Marjan Sirjani marjan.sirjani at mdh.se
Tue May 16 11:06:16 CEST 2017

We will be offering a PhD student position in the research area of “Autonomous Systems Analysis and Synthesis” at Mälardalen University – MDH, Sweden.
Research Group: Cyber-Physical Systems Analysis
Contact: Prof. Marjan Sirjani (marjan.sirjani at mdh.se<mailto:marjan.sirjani at mdh.se>)

The research subject fits within the project “Dependable Platforms for Autonomous Systems and Control (DPAC)” at MDH (http://www.es.mdh.se/dpac/), and will be done within the Embedded Systems Research Center (http://www.es.mdh.se/).

Project Description:
In this project the student will develop theories, techniques and tools for efficient formal verification, performance evaluation and synthesis of autonomous cyber-physical systems. The modeling and analysis approach will be actor-based. Real-time constraints and dynamic system evolution will be considered. See relative publications at http://www.rebeca-lang.org/wiki/pmwiki.php/Rebeca/Publications

As research outcome we expect publications, and (prototype) tools.



MDH (http://www.mdh.se/) is one of Sweden’s biggest university colleges with its 15,000 students and 900 employees. It has a long tradition of cooperating with society and industry, and has entered strategic agreements with both the public and the private sector. 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. Embedded Systems Research Center (ES) provides a stimulating international research environment, characterized by its cooperative atmosphere, openness, and team spirit – a great environment for a researcher to grow in; with a mix of established and young researchers, several of which are employed or funded by industry. Internationally, ES has extensive co-operation and is known for its research as well as its strong industrial links. Industrial partners include major companies, such as ABB, Bombardier, Ericsson, Scania and Volvo, as well as many smaller businesses, including several spin-off companies.

A successful applicant should have demonstrated knowledge and skills in some kind of modeling and analyzing different types of systems.
Required qualifications:
• Master of Science in Computer Science or equivalent
• Fluent in English, both written and in conversation.

Beneficial qualifications include knowledge on:
• Formal methods,
• Concurrency theory,
• Model checking,
• Embedded and real-time systems,
• Programming in C++ and Java,
and a publication record, and ability to conduct collaborative cross-disciplinary research.

If you are interested in applying and/or need more information contact  Marjan Sirjani (marjan.sirjani at mdh.se)


1. Full CV including publication record if any (pinpoint the most important papers and describe your contributions), previous work and teaching experience if any, previous PhD studies, also in other subjects.
2. Copy of an official document giving grades from your graduate and undergraduate degree(s) or studies.
3. Motivation letter describing your experience and professional interests.
4. Letters of recommendation from people who know you as a student or as an employee, preferably including your MSc thesis supervisor.
5. Any scientific papers you may have written (Master´s thesis, project report etc).
6. Other relevant information.

Application Deadline: June 15, 2017

To apply, please send your application by e-mail to the address ansokan at mdh.se. Application sent electronically should be in Word or PDF format.

You can also send your application to the following address:
Mälardalens högskola (Mälardalen University)
Personalsektionen (Division of Human Resources)
Jan Romedahl
Box 883
721 23 Västerås

Please state the reference number 2017/1157 in your application.

The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than 2017-06-15

We look forward to receiving your application.

More information about the ecoop-info mailing list