[TYPES/announce] Open PhD positions in Vienna and Villach, Austria

[Nickovic Dejan]

Vienna University of Technology (VUT), Austrian Institute of Technology (AIT) and Infineon Technologies Austria AG (IFAT) are offering three PhD positions fully funded for 3 years as part of the project "Assertion-based Hardware Monitors for Automotive Systems"- HARMONIA.

HARMONIA will provide a framework for assertion-based monitoring of automotive systems-of-systems with mixed criticality. It will enable a uniform way to reason about both safety-critical correctness and non-critical robustness and performance properties of such systems. Observers embedded on FPGA hardware will be generated from assertions, and used for monitoring automotive designs emulated on hardware.

The positions are due to start in October 2014, but there is some flexibility regarding the starting date.

One PhD candidate will be co-supervised by Prof. Radu Grosu (Cyber-Physical Systems Group, VUT) and Dr. Dejan Nickovic (Safety and Security Department, AIT), and will be hosted by AIT in Vienna, Austria.

Two PhD candidates will be co-supervised by Prof. Radu Grosu (VUT) and Dr. Thang Nguyen (IFAT), and will be hosted by IFAT in Villach, Austria.

Applicants should contact Prof. Radu Grosu (radu.grosu at tuwien.ac.at<mailto:radu.grosu at tuwien.ac.at>), Dr. Dejan Nickovic (dejan.nickovic at ait.ac.at<mailto:dejan.nickovic at ait.ac.at>) and Dr. Thang Nguyen (thang.nguyen at infineon.com<mailto:thang.nguyen at infineon.com>) with an expression of interest in the position and an up to date CV.

The candidates shall satisfy one or more of the following requirements:
·        A degree in Computer Engineering, Computer Science, Mathematics, or related disciplines.
·        Excellent skills in VHDL, FPGA and embedded design and programming
·        Excellent knowledge in formal methods, verification and temporal logics
·        Curiosity and out-of-the-box thinking
·        Good communication skills
Knowledge of German is welcome but not required.

The positions will be fully funded for 3 years with competitive salaries. In addition, PhD candidates will be provided with a laptop and funding for travel expenses, including visits to conferences, workshops and other research groups.

VUT is one of the most successful technical universities in Europe and the world, and it is Austria's largest scientific-technical research and educational institution. The Faculty of Informatics (FI) at the VUT comprises more than 3,000 students alone. The Institute of Computer Engineering (ICE) is one of the seven computer science institutes of the Faculty of Informatics. Within ICE, Professor Grosu heads the Cyber-Physical Systems Group (CPS). The teaching and research of the CPS focus on modelling, analysis and control of complex dynamic systems, hybrid systems: computation and control, worst case execution time, time predictable architectures (HW, SW), control-theory and runtime verification, abstract interpretation, model checking, logic and automata theory, and software and systems engineering.

AIT is Austria's largest contract-oriented, non-profit research organization. Its five strategic departments perform domain-specific as well as interdisciplinary applied research in co-operation with industry, universities on national as well as European and international level with a staff of about 1100 on 8 sites. The Safe and Autonomous Systems Group (Business Unit SAS) of the Department Safety & Security (about 145 researchers) focuses on embedded real-time software and systems technology and tools relevant for control system architectures, validation and evaluation in automotive, railway, robotics, and industrial control.

IFAT is a 100% subsidiary of the worldwide operating semiconductor manufacturer Infineon Technologies AG  - founded in 1999 as a spin-off from "Siemens Semiconductors". In Austria about 1050 of 3100 employees are working in the field of R&D (biggest "R&D" unit for microelectronics in Austria) offering a high level of comprehensive know-how in technology, modeling, design and manufacturing.


--
Dejan Nickovic
Scientist
Department Safety and Security
Business Unit Safe and Autonomous Systems
AIT Austrian Institute of Technology GmbH
Donau-City-Straße 1  |  1220 Vienna  | Austria
T +43(0) 50550-4021 | M +43(0) 66488-390038  |  F +43(0) 50550-4150
dejan.nickovic at ait.ac.at<mailto:dejan.nickovic at ait.ac.at>  |  http://www.ait.ac.at<http://www.ait.ac.at/>

FN: 115980 i HG Wien  |  UID: ATU14703506
This email and any attachments thereto, is intended only for use by the addressee(s) named herein and may contain legally privileged and/or confidential information. If you are not the intended recipient, please notify the sender by return e-mail or by telephone and delete this message from your system and any printout thereof. Any unauthorized use, reproduction, or dissemination of this message is strictly prohibited. Please note that e-mails are susceptible to change. AIT Austrian Institute of Technology GmbH shall not be liable for the improper or incomplete transmission of the information contained in this communication, nor shall it be liable for any delay in its receipt.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140728/66fec7e2/attachment-0001.html>