(New) Two PhD positions in Learning Abstractions for Logic-based AI at TU Wien [AT]

The LAGER project ("Learning abstractions for generalized reasoning in AI") is seeking talented and motivated candidates for two PhD positions to join the groups at the Institute of Logic and Computation at TU Wien. The project is funded by the Vienna Science and Technology Fund, and led by Zeynep G. Saribatur, Thomas Eiter and Nysret Musliu.

By focusing on Answer Set Programming (ASP), the project will establish theoretical foundations for generalized reasoning and develop domain-independent methods for learning useful abstractions over ASP programs. Candidates should have a solid background in symbolic AI and good programming skills. One PhD position is available with an immediate start, and the other position is from 1 July 2026.