PhD student in Autonomous Systems Analysis and Synthesis
Mälardalens Högskola / Administratörsjobb (offentlig verksamhet) / Västerås
Observera att sista ansökningsdag har passerat.
Visa alla administratörsjobb (offentlig verksamhet) i Västerås,
Hallstahammar,
Surahammar,
Eskilstuna,
Enköping eller i
hela Sverige Visa alla jobb hos Mälardalens Högskola i Västerås,
Eskilstuna,
Arboga,
Flen,
Södertälje eller i
hela Sverige 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/PublicationsAs a PhD student, you will spend a minimum 80% of your time on research studies. The rest will be spent on educational and/or administrative duties.
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.
Only those who are or have been admitted to third-cycle courses and study programmes at a higher education may be appointed to doctoral studentships. For futher information see Chapter 5 of the Higher Education Ordinance (SFS 1993:100).
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.
MDH in Eskilstuna and Västerås 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 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.
Publiceringsdatum2017-04-24Så ansöker duSista dag att ansöka är 2017-06-15
KontaktMarjan Sirjani
marjan.sirjani@mdh.seFöretagMÄLARDALENS HÖGSKOLA
AdressMÄLARDALENS HÖGSKOLA
BOX 883
72123 VÄSTERÅS
KontorsadressHögskoleplan 1
Jobbnummer 3455495
Observera att sista ansökningsdag har passerat.