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.barto...@tuwien.ac.at, 
s...@ecs.tuwien.ac.at, radu.gr...@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.barto...@tuwien.ac.at.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Reply via email to