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.
Embedded Systems
Application Deadline: the position is to be filled as soon as possible
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: (i) software engineering, (ii) multi-core systems, (iii) formal meth-ods, and (iv) 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 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.
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.
Application Deadline: the position is to be filled as soon as possible
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: (i) software engineering, (ii) multi-core systems, (iii) formal meth-ods, and (iv) 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 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.
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.
Subscribe for more updates
Posts
