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 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.
*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.saribatur@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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************