Email Gateway (Nov 13 2025 at 08:57): Email Gateway (Nov 13 2025 at 08:57):From: "Weissenbacher, Georg" <georg.weissenbacher@tuwien.ac.at>
The Faculty of Informatics of TU Wien, one of the top-ranked faculties
of Informatics in Europe and located in Vienna, Austria, the world's
most liveable city, offers
4 funded positions for doctoral students
in the newly established doctoral college on Automated Reasoning.
Application deadline: November 27, 2025
Details and application link: https://www.forsyte.at/docfunds/
Successful applicants are expected to start as soon as possible
and will receive funding for up to 4 years.
Successful applicants will work on exciting projects at the intersection of
security and artificial intelligence with Automated Reasoning at the core.
Each doctoral students will be working with and will be supervised by two
faculty members who are internationally renowned experts in their respective
fields (https://www.forsyte.at/docfunds#supervisors).
The doctoral college is designed to educate the next generation of experts
on Automated Reasoning. It targets foundational questions such as rigorously
defining the notion of safety and security across domains and applications, the
development of automated techniques and analyses to ensure safety and security
of electronic systems, and explores synergies between the fields of security and
artificial intelligence (a list of potential research topics can be found on
https://www.forsyte.at/docfunds#topics).
TU Wien is located in the heart of Vienna, Austria, which has been
repeatedly ranked as one of the most liveable city. The Faculty of
Informatics is home to world-renowned researchers in a wide range of
Areas including Logic and Computation, Information Systems Engineering,
Computer Engineering, and Visual Computing and Human-Centered Technology.
Numerous initiatives such as the Cybersecurity Center
(https://cysec.wien/) and the Center for Artificial Intelligence and
Machine Learning (https://caiml.org/) demonstrate the Faculty's strong
focus on collaboration and interdisciplinarity.
Further details can be found on https://www.forsyte.at/docfunds/.
Last updated: Dec 02 2025 at 16:32 UTC