[TYPES/announce] 10 funded PhD positions on Automated Reasoning in Vienna, 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

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

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

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!WTiqwYUBKGPhEZA69deLieAVSAVu0yZjTy2XCO5kJDWR8IFsQhSdRdJe3IK5Jt-mR25WU_q3AFcD175LPjSY-HPtWetos31KukwmEXEW2OLrIw$ ).

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!WTiqwYUBKGPhEZA69deLieAVSAVu0yZjTy2XCO5kJDWR8IFsQhSdRdJe3IK5Jt-mR25WU_q3AFcD175LPjSY-HPtWetos31KukwmEXHear4M3w$ ) and the Center for Artificial Intelligence and 
Machine Learning (https://urldefense.com/v3/__https://caiml.org/__;!!IBzWLUs!WTiqwYUBKGPhEZA69deLieAVSAVu0yZjTy2XCO5kJDWR8IFsQhSdRdJe3IK5Jt-mR25WU_q3AFcD175LPjSY-HPtWetos31KukwmEXEUcIrTwQ$ ) 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!WTiqwYUBKGPhEZA69deLieAVSAVu0yZjTy2XCO5kJDWR8IFsQhSdRdJe3IK5Jt-mR25WU_q3AFcD175LPjSY-HPtWetos31KukwmEXG4m9s5Xg$ .