PhD student in Computer Science

Mälardalen University in Västerås, is an expansive university with a strong focus on engineering, and the School of Innovation, Design and Engineering is a research intensive enviroment with strong focus on Embedded systems, Real-time systems and Software Engineering.
IDT is offering a PhD student position in the area of complex embedded real-time systems. The PhD student position is starting in fall 2009.

The student is to conduct research in the area of formal models, analysis techniques, and tools for verification of embedded systems. Particular focus will be put on real-time component models, modelling of embedded resources, such as storage, energy, computation, communication, etc, and related analysis problems including feasiblity, optimality, and trade-offs. Tool support for the developed techniques will be implemented as extensions to our existing tools, including UPPAAL and SaveIDE.

Eligibility
Only someone who can be or already has been enrolled for PhD studies at a university can be employed at a PhD position. The requirement for being qualified for PhD studies is to have at least four years of university studies, corresponding to a Master's degree.

Admittance to the post-graduate education will be handled in conjunction with the employment procedure. In general anyone who has graduated with a Master's degree with a major in Computer Engineering or Computer Science is eligible as graduate student in Computer Science and Engineering. Students with corresponding qualifications, for instance from similar programs at other universities, may also be admitted.

Special requirements
Applicants should have good knowledge in real-time systems and mathematics. Knowledge in automata theory, and validation and verification techniques is desirable, as is relevant implementation experience, especially in C++ and Java.

Mälardalen University applies positive action, giving priority to a person of underrepresented sex (in this case women), when applicants are otherwise equal.





An application prepared in English should contain:

1. Short CV: data about yourself including date of birth, sex, address, e-mail address if possible.
2).Copy of an official document giving grades from you undergraduate degree(s) or studies.
3. A description of:
a) an area of interest within your chosen subject(s) and maybe plans for research if any;
b) previous work and teaching experience if any;
c) previous PhD studies, also in other subjects.
4. If possible, some letters of recommendation from people who know you as a student or as an employee.
5. Any scientific papers you may have written (Master s thesis, project report etc).
6. Other relevant information


To apply, please send your application to the following address:
Registrator, Personnel Division
Mälardalen University
Box 883,
SE-721 23 Västerås
Sweden