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
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 successful candidate should have experience in one or more of the following areas: (i) software engineering, (ii) multicore systems, (iii) formal methods, and (iv) fault-tolerance mechanisms.
TU München enjoys an excellent international reputation as an academic leader and has been consistently ranked as one of the three best universities in Germany. It was appointed one of only three top universities in the first round of the “Excellence Initiative” of the German Government 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 possibilities for your career both in academia – within the associated research 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.
Pass:REALInterested applicants should submit a curriculum vitae, an academic transcript and two referees. A statement of the broad area of your research 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 wwwknoll.in.tum.de.
Kontakt: buckl@in.tum.de
Mehr Information: wwwknoll.in.tum.de
0 comments:
Post a Comment