Roopsha Samanta
Succinct Representation of Concurrent Trace Sets
Iyad Kanj
On Bounded-Degree Plane Geometric Spanners
Helmut Seidl
Parametric Strategy Iteration
Postdoc position in Parameterized Complexity at Vienna University of Technology, Austria
There is an opening for a fully funded postdoc position for the duration of two years at the Vienna University of Technology.
Gordon Cichon
Formal Semantics of Synchronous Transfer Architecture
Dec. 18, 2014
Funded PhD position in Quantified Boolean Formula (QBF) solving
There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.