[TYPES/announce] FWF-funded PostDoc in Formal Methods for Rigorous Engineering of Cyber-Physical Systems

Ezio Bartocci ezio.bartocci at tuwien.ac.at
Fri Nov 11 18:28:14 EST 2016

The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/ <https://ti.tuwien.ac.at/>) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew two years), starting as soon as possible. The successful applicant will carry out his/her postdoc in the research area of formal methods applied to the verification and synthesis of timed systems with faults and delays, including distributed systems. This task is part of the recently granted Austrian FWF National Research Network “RiSE” (2nd funding period, http://arise.or.at/nfn/shine-organization-and-subprojects/ <http://arise.or.at/nfn/shine-organization-and-subprojects/>), to be led by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid and with the other PIs of RiSE: http://arise.or.at/principal-investigators/ <http://arise.or.at/principal-investigators/>.

Task Description

Modeling and Analysis of Parametric, Probabilistic and Parameterized Timed Systems  (Applications). To master the overwhelming complexity of manual correctness proofs of continuous-time distributed systems, computer-aided methods that can deal with symbolic timing parameters (“parametric”) and symbolic system sizes (“parameterized”) are required. The goal of this task of the project is to provide a formal-methods-based framework to perform rigorous analysis of timed systems with delays, faults and spatial distribution (networked).

The specific requirements for this postdoc position are the following: 

A completed PhD in Computer Science 
Experience in developing tools
Solid experience in timed automata and/or probabilistic timed automata (possibly parametric and/or parametrized)
Very good English skills (writing, speaking)
A promising publication record
The Technische Universität Wien (TU Wien) has about 20,000 students and a heavy emphasis on research in the sciences and engineering. TU Wien comprises eight faculties - mathematics and geo-information, physics, technical chemistry, informatics, civil engineering, architecture and regional planning, mechanical engineering and business science, electrical engineering and information technology. The Faculty of Informatics of the TU Wien comprises about 3,000 students.

The Institute of Computer Engineering (ICE) is one of its seven computer science institutes. The ICE’s research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design.


The salary of the postdoctoral researcher will be of around 50K Euro gross per year.

Applications, including any attachments, should be submitted by the 15th of December 2017, to the following email: ezio.bartocci at tuwien.ac.at <mailto:ezio.bartocci at tuwien.ac.at>
The following documents must be attached to the application:

Cover letter stating the candidate's motivation to apply, and the reason(s) why they should be selected for the position
Three publications that are deemed relevant to the postdoctoral project
Two reference letters
Contact details

For further information and enquiries about this post please contact Ezio Bartocci, e-mail: ezio.bartocci at tuwien.ac.at <mailto:ezio.bartocci at tuwien.ac.at>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161112/0050bd70/attachment-0001.html>

More information about the Types-announce mailing list