TU Wien announces an open position for a full professorship in
"Computer Aided Verification" (succeeding Helmut Veith), which
lists distributed algorithms as a suitable interdisciplinary
background.
Application deadline is October 16, 2017. Further details see
http://www.informatik.tuwien.ac.at/aktuelles/1417http://www.informatik.tuwien.ac.at/jobs/Computer_Aided_Verfication.pdf
--
---------------------------------------------------------------------------
Ulrich Schmid | [log in to unmask]
Technische Universit"at Wien | +43 1 58801 18250 (phone)
Embedded Computing Systems Group E182/2 | +43 1 58801 18297 (fax)
Treitlstrasse 3, A-1040 Vienna (Austria)| ti.tuwien.ac.at/ecs/people/schmid
---------------------------------------------------------------------------