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 ([email protected]<mailto:[email protected]>)
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. http://www.mdh.se/hogskolan/jobb/phd-student-in-autonomous-systems-analysis-and-synthesis-1.99529?l=sv_SE School: 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. Qualifications: 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. Contact: If you are interested in applying and/or need more information contact Marjan Sirjani ([email protected]<mailto:[email protected]>) Application: 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 [email protected]<mailto:[email protected]>. 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.
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
