[TYPES/announce] New Open PostDoc position in formal methods for timed systems with faults and delays at Vienna University of Technology

[Ezio Bartocci]

Postdoc in formal methods applied to networked timed systems
with faults and delays at the Institute of Computer Engineering at the
Vienna University of Technology, Vienna, Austria

The Institute of Computer Engineering at Vienna
(http://ti.tuwien.ac.at/) University of Technology 
is seeking a candidate for a two-year postdoctoral
research position (with the possibility of a renewal), 
starting March 2015. 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/), 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/

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 48000 Euro gross per year.

Applications, including any attachments, should be
submitted by the 25th of  January 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

Shortlisted applicants are expected to be interviewed during 
the first week of February 2015.

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://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150107/3b9ecef9/attachment.html>