Job offer at the Institute for Logic and Computation in the Research Area of Theory and Logic at the Technical University of Vienna