Two PhD positions in Symbolic AI at TU Wien

[Zeynep G. Saribatur]

Two PhD Positions @ TU Wien

The research groups Knowledge-Based Systems (KBS) and Database and AI (DBAI) in Institute of Logic and Computation at TU Wien are seeking exceptionally talented and motivated candidates for two PhD positions.

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, starting in January 2026.

The project tackles the challenge of equipping AI systems with the human-like ability to generalize, such as identifying common problem structures and generating solutions that work for diverse instances, for solving real-world problems and generalization challenges. 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 for the PhD positions should have a strong background in logic-based AI and good programming skills. One PhD position is available from January 1st, 2026, and the other position is from July 1st, 2026.

The application should contain a research statement, a complete CV, transcripts of completed studies, abstract of the applicant's MSc or BSc thesis, and two recommendation letters, sent separately by each reference person.

The applications should be sent to zeynep.s...@tuwien.ac.at. The reference letters can be sent within two weeks from submission.

Applications will be processed on a regular basis and continue until the positions are filled.

https://www.dbai.tuwien.ac.at/research/project/lager/

--

Zeynep G. Saribatur

Databases and Artificial Intelligence Group

Institute of Logic and Computation

TU Wien, Vienna, Austria