[TYPES/announce] 4 PhD positions in Automated Reasoning at TU Wien, Austria

[Weissenbacher, Georg]

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://urldefense.com/v3/__https://www.forsyte.at/docfunds/__;!!IBzWLUs!XmC6X3gUq_2G6_hB7SNs6h_q1b4bPHRxONnwoKVfoWwHL_EIIR_qAkjM098shqucq_ncA5gf5G1RmTmPJrE_YW2r3MF-Ct7yu2t7VExaBs7fJQ$ 

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://urldefense.com/v3/__https://www.forsyte.at/docfunds*supervisors__;Iw!!IBzWLUs!XmC6X3gUq_2G6_hB7SNs6h_q1b4bPHRxONnwoKVfoWwHL_EIIR_qAkjM098shqucq_ncA5gf5G1RmTmPJrE_YW2r3MF-Ct7yu2t7VEwOtY8MxQ$ ).

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://urldefense.com/v3/__https://www.forsyte.at/docfunds*topics__;Iw!!IBzWLUs!XmC6X3gUq_2G6_hB7SNs6h_q1b4bPHRxONnwoKVfoWwHL_EIIR_qAkjM098shqucq_ncA5gf5G1RmTmPJrE_YW2r3MF-Ct7yu2t7VEx9QTBqZA$ ).

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://urldefense.com/v3/__https://cysec.wien/__;!!IBzWLUs!XmC6X3gUq_2G6_hB7SNs6h_q1b4bPHRxONnwoKVfoWwHL_EIIR_qAkjM098shqucq_ncA5gf5G1RmTmPJrE_YW2r3MF-Ct7yu2t7VEy9f_KgjQ$ ) and the Center for Artificial Intelligence and 
Machine Learning (https://urldefense.com/v3/__https://caiml.org/__;!!IBzWLUs!XmC6X3gUq_2G6_hB7SNs6h_q1b4bPHRxONnwoKVfoWwHL_EIIR_qAkjM098shqucq_ncA5gf5G1RmTmPJrE_YW2r3MF-Ct7yu2t7VEz2e9RArg$ ) demonstrate the Faculty's strong
focus on collaboration and interdisciplinarity.

Further details can be found on https://urldefense.com/v3/__https://www.forsyte.at/docfunds/__;!!IBzWLUs!XmC6X3gUq_2G6_hB7SNs6h_q1b4bPHRxONnwoKVfoWwHL_EIIR_qAkjM098shqucq_ncA5gf5G1RmTmPJrE_YW2r3MF-Ct7yu2t7VExaBs7fJQ$ .