PostDoc position within the project “Oligomorphic clones”
The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable.
Katarina Singer
James Anderson
Graph Decomposition for Large-Scale Dynamical System Analysis
Hannes Strass
Abstract Argumentation and Approximation Fixpoint Theory
March 24, 2015
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.