(New) Two PhD positions in Symbolic AI at TU Wien [A]

Two PhD positions at TU Wien are seeking talented and motivated candidates to join groups at the Institute of Logic and Computation at TU Wien. The positions are part of the LAGER project ("Learning abstractions for generalized reasoning in AI") funded by the Vienna Science and Technology Fund, 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 from January 1st, 2026, and the other position is from July 1st, 2026.