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.