There is an opening for a fully funded research assistant position (PhD student) at the Algorithms and Complexity group at TU Wien, Vienna, Austria.

The following are some possible research topics:

  • Studying the parameterized complexity of problems arising in Logic and AI
  • Solving combinatorial problems via SAT encodings or related methods
  • Speeding up algorithms with machine-learning methods.