Postdoc and PhD positions at TU Wien

[Zeynep G. Saribatur]

Postdoc and PhD Positions @ TU Wien

The research groups Knowledge-Based Systems (KBS) and Database and AI (DBAI), Institute of Logic and Computation at TU Wien, are seeking exceptionally talented and motivated candidates for one Postdoc and 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 benchmarks. 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.

*Postdoc Position*

Candidates for the Postdoc position should have a strong background in logic-based AI, machine learning, answer set programming, or logic programming at large.

The position is available from January 1st, 2026 and is for 2 years.

The application should contain a research statement, a complete CV, and two recommendation letters, sent separately by each reference person.

*PhD Positions*

Candidates for the PhD positions should have a strong 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.

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/user/saribat/lager/

--

Zeynep G. Saribatur

Databases and Artificial Intelligence Group

Institute of Logic and Computation

TU Wien, Vienna, Austria