Informatics, TU Vienna

Doctoral College Resilient Embedded Systems

 

The Resilient Embedded Systems doctoral program is a doctoral program funded by the Austrian BMBWF and run jointly by TU Wien and FH Technikum Wien.

We offer 4-year funding for 10 PhD positions.

A central goal of the Faculty of Informatics at TU Wien is the sustainable increase of the proportion of women in academic staff and different measures are taken to support women. Therefore we explicitly encourage female candidates to apply. Preference will be given when equally qualified.

Call open until June 10, 2018 (23:59 Vienna local time).

Scope

The research field of Resilient Embedded Systems investigates novel methods to design, verify and implement safe, secure and dependable computing architectures subject to real-time constraints. The topical span of the doctoral college covers all aspects of the direct interaction of computer systems and their environment, from the lowest level of circuit and hardware architectures to safety-critical cyber-physical systems like industrial automation, building automation & smart grids, healthcare, spacecraft, and automotive including networking infrastructures. Designing such systems is challenging, both from a scientific and technological perspective: Many functions are directly implemented in hardware for performance reasons, distributed and parallel processing is omnipresent, digital signal processing is often required, real-time and power/thermal constraints must be met, energy-efficiency is crucial, stopping operation in the case of failures is often not feasible, unique security issues and threats exist, "trial-and-error-style programming" is not an option in many applications, asserting system correctness by means of testing may be insufficient for the required dependability reliability level, emergent behavior originating from autonomous operation must be understood and controlled, integration and complexity issues created by the upcoming Internet of Things must be managed, etc.

This program is aimed at highly motivated students who want to work in one of these main research topics:

  • Digital circuits and hardware architectures
  • Dependable, real-time systems
  • Hybrid systems and optimal control
  • Quantitative and runtime verification
  • Computational modeling and simulation
  • Autonomous systems, robotics and automation systems integration
  • Control networks design
  • Cyber-physical social systems & (Industrial) Internet of Things

Curriculum

The curriculum comprises 2 phases:

In a first phase (year 1) the theoretical foundations are laid:

  • 9 ECTS Formal Methods in Computer Science (6VU + 3UE)
  • 9 ECTS Discrete Mathematics (4VO + 5UE)
  • min 6 ECTS Gatekeeper-Module from the curriculum “Master Computer Engineering”, aligned with the focus of the PhD thesis

In the second phase (years 2-4) PhD students are required to take 6 courses, corresponding to a minimum of 18 credits, where the number of credits acquired with each of course depends on the course's difficulty and/or intensity. In addition, 162 credits are assigned to the PhD thesis.

Fundamental Courses (min 9 ECTS)

Students have to take 3 fundamental courses, to be chosen from the areas of Philosophy of Science (mandatory), Research Methods, Research and Career Planning for PhD Students, PhD seminar (conference-like system), or Innovation. At least one course is expected to be related to methodologies.

Area Courses (min 9 ECTS)

Area Courses are research domain specific. They are selected together with the supervisor and need to be acknowledged by the Chair of the Doctoral College and the Dean of Study Affairs.

After 12 – 18 months the candidate has to defend his/her dissertation plan in front of an academic jury.


Hosts

TU Wien

TU Wien is among the most successful technical universities in Europe and is Austria’s largest scientific-technical research and educational institution. As a university of technology, TU Wien covers a wide spectrum of scientific concepts from abstract pure research and the fundamental principles of science to applied technological research and partnership with industry. For 200 years, TU Wien has been a place of research, teaching and learning in the service of progress.
Among TU Wien’s eight faculties, the Faculty of Informatics is a very young and dynamic one. It is consistently ranked among the top 100 Computer Science faculties worldwide (QS World University ranking 2018: 51-100; Shanghai Ranking 2017: 51-75; Times Higher Education Ranking 2018: 61).

FH Technikum

The University of Applied Sciences Technikum Wien focuses on bachelor’s and master’s degree programs in various technological domains. These are based on a solid scientific foundation with a high degree of industrial relevance. The relevant topics are complemented with research and development activities in the respective fields of

  • Embedded Systems & Cyber-Physical Systems,
  • Renewable Urban Energy Systems,
  • Secure Services, eHealth & Mobility,
  • Tissue Engineering & Molecular Life Science Technologies,
  • Automation & Robotics.

Predominant projects like the Josef Ressel Center for Verification of Embedded Computing Systems contribute to the state-of-the-art in tight cooperation with the Austrian industry.

People

DK-RES Director:

Andreas Steininger (TU Wien)

 

DK-RES Coordination:

Clarissa Schmid (TU Wien)

 

DK-RES Advisory Board:

Ezio Bartocci (TU Wien)
Karl M. Göschka (FH-Technikum Wien)
Martin Horauer (FH-Technikum Wien)
Wolfgang Kastner (TU Wien)
David Meyer (FH-Technikum Wien)
Muhammad Shafique (TU Wien)

 

Potential Advisors:

Ezio Bartocci (TU Wien)
Johann Blieberger (TU Wien)
Karl M. Göschka (FH-Technikum Wien)
Radu Grosu (TU Wien)
Sascha Hunold (TU Wien)
Wolfgang Kastner (TU Wien)
Peter Puschner (TU Wien)
Ulrich Schmid (TU Wien)
Muhammad Shafique (TU Wien)
Andreas Steininger (TU Wien)
Jesper Larsson Träff (TU Wien)
Josef Widder (TU Wien)

Other research:

TU Wien, Faculty of Informatics
FH Technikum Wien

 

Application

The prerequisite for becoming a PhD student is a finished master degree or equivalent, preferably with distinction, in the following fields:

  • Computer science, informatics
  • Computer engineering
  • Electrical engineering or information technology

Further fields of studies may be taken into account if the student has a similar qualification but from a distinct field, e.g., a major in mathematics with a minor in one of the above mentioned fields, and is in general well-suited for the position in question.

Applications must be submitted by e-mail to DC-ResilientEmbeddedSystems@informatik.tuwien.ac.at by June 10, 2018 23:59 (Vienna local time).

 

How to apply?

Please download the application form and follow the instructions below. Send your filled out application form and all required application documents in one e-mail to
DC-ResilientEmbeddedSystems@informatik.tuwien.ac.at.

The e-mail subject must be DK RESILIENT EMBEDDED SYSTEMS. Due to administrative reasons re-submissions will only be possible for very good reasons that need to be justified.


Applications must include two separate PDF files.

Attach these 2 separate PDF files as follows:

  • Form_<familyname>.pdf
    Follow the link given in the heading, and save the completed form.

  • Documents_<familyname>.pdf
    Within this .pdf file all documents must be in the order as stated below:

    (1) Academic degrees
    Submit a scan of your degree certificate (Master degree or higher) of a post-secondary education institution including course transcript. The submitted documents should be issued by the Universities in English language. Information about the grading system must be included.

    Note that applicants are expected to have obtained a master's degree with distinction.
    Students who will not be able to submit their degree certificate by the application deadline have to provide a statement by their thesis supervisor declaring that the student will complete his/her degree by 1.10.2018. In such cases admission will be conditional and applicants must present the relevant degree certificate by October 2018.
    (2) Motivation letter
    Please explain why you would like to join the DC Resilient Embedded Systems. Please also indicate the research area you are interested in.
    (3) Curriculum Vitae
    (4) Summary of your diploma / master thesis
    A short summary of the thesis in English (maximum 2000 characters) structured as follows: motivations of the thesis, methods of the investigations, final results.
    (5) Research proposal
    Please outline (in up to 2 pages) the research vision/plan you would like to follow and the research questions you would like to address in your PhD.
    Knowing your interests is important for us in order to identify potential advisors and to agree on a PhD topic together with your advisor.
    In case your application is selected for the shortlist in the first selection round, you will be invited to a hearing and asked to present and motivate the research vision you have submitted.
    (6) Identification Document / Passport
    Insert an identification document / passport into the PDF here.
    (7) English knowledge certificates
    Proficiency in English is mandatory. Preferred proofs are TOEFL, IELTS or CAE. For details please refer to the information mentioned below.

    As a guideline for acceptable proficiency you can use the following values:

    • TOEFL score of at least 550 paper-based, 217 computer-based, or 81 internet-based.

    Please use the code number [4465] when indicating our institution as a score recipient.

    • IELTS score 6.0 or higher
    • CAE score B or higher
    • If available, GRE scores (providing very good GRE scores will greatly enhance chances of acceptance)


    Letters of recommendation
    Two letters of recommendation have to be provided. At least one of your referees should have a scientific background. The letters of recommendation should be sent by the referees via E-Mail to DC-ResilientEmbeddedSystems@informatik.tuwien.ac.at. In the subject of this e-mail DK RESILIENT EMBEDDED SYSTEMS and your family name should be mentioned.

    Referees should use the following template

     

Selection Process & Schedule

After a first round of review, selected candidates will be invited for a hearing, in which they get an opportunity to present their research plans and to get in touch with potential advisors. The hearings will be scheduled for June 20-22, 2018 and attendance is mandatory (costs for the travel to Vienna will be covered within reasonable limits). A final decision will be made end of June 2018, and the Resilient Embedded Systems doctoral program starts in October 2018.

The successful candidates will receive an employment from the hosting institution (TU Wien or FH Technikum Wien) according to the standard salaries for FWF projects, which currently is 14 * 2.112,40 € gross per year.

 

The City of Vienna

Vienna’s history dates back to the ancient Roman Empire, and even today the city’s character is still visibly influenced from its time as the residence of the emperors of the Austrian-Hungarian monarchy. Naturally, Vienna has turned into a modern and lively metropolis while retaining the charm of its “past days” that is appreciated not only by many tourists, but also by its inhabitants who are known to be jovial and hospitable people. With respect to quality of living, Vienna is among the top cities worldwide. It has consistently been number one in the Mercer ranking for the last seven years. Thanks to its convenient location in the heart of Europe, Vienna is definitely a center for international politics, business, and culture. For more information see here