Postdoc and PhD positions in Symbolic AI at TU Wien (A)

We are seeking exceptionally talented and motivated candidates for one Postdoc and two PhD positions, as part of the LAGER project ("Learning abstractions for generalized reasoning in AI") led by Zeynep G. Saribatur, Thomas Eiter and Nysret Musliu starting in January 2026. Applications will be processed  until the positions are filled.

The aim of the project is, by focusing on answer set programming, establishing theoretical foundations for generalized reasoning, and developing domain-independent methods for learning useful abstractions, and tackling solving real-world problems and generalization challenges.