[Haskell] Open Postdoc Position in formal methods applied to timed systems

[Ezio Bartocci]

The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew for up to other 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/), to be led by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or.at/principal-investigators/.

Task Description (Task leader Ezio Bartocci): 

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. Besides the question of how to deal with the overwhelming complexity, answering the question of how to incorporate (probabilistic) faults will be addressed in collaboration with PP12 (Grosu), PP07 (Chatterjee) and PP11 (Kirsch). In order to extend our framework to also cover message-passing distributed systems with parameterized system size, novel abstraction techniques and/or cutoff results will be developed in a collaboration with PP03 (Veith).


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.

Salary

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

Applications, including any attachments, should be submitted by the 15th of September to the following emails: ezio.bartocci at tuwien.ac.at, s at ecs.tuwien.ac.at, radu.grosu 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
- A CV
- 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20150831/979f3cfa/attachment-0001.html>