Domain: Automation We are now accepting applications for a 3‐year PhD Scholarship in the area of software engineering, fault-tolerant systems, and verification in the Department of Informatics at TU München, Germany.
Project Title: Development of High-Availability Embedded Systems Application
In cooperation with GE, TU München investigates on the development process of high-availability embedded systems. The project covers the following aspects: code reuse, multi-core platforms, code generation, and formal verification. Within the project, a windmill application will be implemented as use case. Applicants should have a M.Sc. degree in Computer Science or Electrical Engineering (or equivalent, from a well‐known University).
The success-ful candidate should have experience in one or more of the following areas:
- software engineering
- multi-core systems
- formal methods, and
- fault-tolerance mechanisms.
TU München enjoys an excellent international reputation as an aca-demic leader and has been consistently ranked as one of the three best universities in Germany. It was appointed one of only three top universi-ties in the first round of the "Excellence Initiative" of the German Gov-ernment in 2006. The group Robotics & Embedded Systems offers a unique working surrounding with interesting and challenging research projects. Besides the concrete project, the group provides excellent pos-sibilities for your career both in academia – within the associated re-search and transfer institute fortiss - and in industry - by its close ties to companies and by supporting the creation of spin-offs. The Munich area itself offers high quality of living, with unparalleled outdoor recreational opportunities and a great night-life at a reasonable price. Interested applicants should submit a curriculum vitae, an academic transcript and two referees. A statement of the broad area of your re-search interest should also be included.
For any enquiries or further information, send an E-mail to: Dr. Christian Buckl (buckl@in.tum.de) or visit our web site http://wwwknoll.in.tum.de.
Source: http://www6.in.tum.de/pub/Main/OpenPositions/position_available.pdf
