Postdoc Position in formal methods applied to timed systems with faults and delays

Friday, January 9, 2015
Deadline Genuary 25th 2015

Open Postdoc Position in formal methods applied to timed systems with faults and delays, including distributed systems

 
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 (ezio.bartocci@tuwien.ac.atin collaboration with Prof. Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or.at/principal-investigators/