PhD Positions in Symbolic AI @ TU Wien: Learning Abstractions for Generalized Reasoning (The LAGER Project)

[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.

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
symbolic AI and good programming skills. One PhD position is available
for an immediate start, 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