Email Gateway (Mar 24 2025 at 12:32): Email Gateway (Mar 24 2025 at 12:32):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
10 funded positions for doctoral students
in the newly established doctoral college on Automated Reasoning.
Application deadline: May 18, 2025
Details and application link: https://www.forsyte.at/docfunds/
Successful applicants are expected to start in October 2025 (or soon
after) 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: Apr 17 2025 at 20:22 UTC