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.