Open Postdoc Position in formal methods applied to timed systems with faults and delays, including distributed systems
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.at) in collaboration with Prof. Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or.at/principal-investigators/