<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><p>&nbsp;PhD on Probabilistic Analysis of Distributed Systems<br> at the Institute of Computer Engineering at the<br> Vienna University of Technology, Vienna, Austria</p><p> The Institute of Computer Engineering at Vienna<br> (<a href="http://ti.tuwien.ac.at/" rel="nofollow" target="_blank">http://ti.tuwien.ac.at/</a>) University of Technology<br> is seeking for a PhD candidate, starting March 2015.</p><p> The successful applicant will<br> carry out his/her PhD in the research area of<br> statistical verification of (distributed) cyber-physical systems based <br> on advanced sequential Monte-Carlo (particle filtering) techniques <br> such as importance sampling and importance splitting.<br> This task is part of the recently granted Austrian<br> FWF National Research Network “RiSE” (2nd funding<br> period), to be led by Prof. Radu Grosu<br> in collaboration with Prof. Armin Biere and<br> Ass.-Prof. Ezio Bartocci and with the other PIs of RiSE:</p><p> <a href="http://arise.or.at/principal-investigators/" rel="nofollow" target="_blank">http://arise.or.at/principal-<wbr>investigators/</a></p><p> The candidates shall satisfy one or more of the following requirements:</p><p>     - A degree in Computer Engineering, Computer Science, Mathematics, or related disciplines.<br>     - Excellent Knowledge in verification, particle filtering, particle swarm optimisation<br>     - Curiosity and out-of-the-box thinking<br>     - Very good English skills (writing, speaking)</p><p> Knowledge of German is welcome but not required.</p><p> The positions will be fully funded for 3 years with competitive salaries.<br> In addition, PhD candidates will be provided with a laptop and funding for<br> travel expenses, including visits to conferences, workshops and other research groups.</p><p> The Technische Universität Wien (TU Wien) has about 20,000<br> students and a heavy emphasis on research in the<br> sciences and engineering. TU Wien comprises eight faculties<br> - mathematics and geo-information, physics, technical<br> chemistry, informatics, civil engineering, architecture<br> and regional planning, mechanical engineering and business<br> science, electrical engineering and information technology.<br> The Faculty of Informatics of the TU Wien comprises<br> about 3,000 students.</p><p> The Institute of Computer Engineering (ICE) is one of its seven computer<br> science institutes. The ICE’s research and teaching<br> activities focus on the area of cyber-physical systems and<br> dependable embedded systems. Our activities are at the heart<br> of the primary research area Technische Informatik (Computer<br> Engineering) of the Faculty of Informatics, and integrate<br> computer science, discrete and continuous systems theory,<br> and microelectronics in a holistic approach. Major research<br> areas are hybrid systems, real-time systems, fault-tolerant<br> distributed algorithms, and dependable digital circuit<br> architectures. Particular research activities range from<br> formal/mathematical modeling and analysis over SW/HW<br> architectures to microcontroller programming and<br> FPGA/VLSI design.</p><div><br></div><div>Salary</div><div>The RiSE project is funded by the Austrian Science Fund</div><div><p> (Fonds zur Förderung der wissenschaftlichen Forschung, FWF).<br> In accordance with FWF regulations and the collective bargaining<br> agreement of the Austrian universities, the doctoral students will<br> be employed as a researcher at a yearly salary of EUR 20,047.38<br> after taxes and social/health insurance deductions (effective<br> April 2014; the average Austrian salary over all age groups is<br> EUR 20,596.00). There are additional salary supplements and tax<br> deductions for families with children.</p><p> Applications, including any attachments, should be<br> submitted by the 1st of February to the following emails:<br> <a href="mailto:radu.grosu@tuwien.ac.at" target="_blank">radu.grosu@tuwien.ac.at</a>, <a href="mailto:ezio.bartocci@tuwien.ac.at" target="_blank">ezio.bartocci@tuwien.ac.at</a></p><p> The following documents must be attached to the<br> application:</p><p>   - Cover letter stating the candidate's motivation<br>     to apply, and the reason(s) why they should be selected<br>     for the position<br>   - A curriculum vitae<br>   - Grades transcriptions and certificates<br>   - At least one reference letter</p><p> Shortlisted applicants are expected to be interviewed during<br> the first week of February 2015.</p></div></body></html>