Employer:
TU Wien
Unit:
Doctoral College on Automated Reasoning (FWF-funded)
Location:
Vienna, Austria (on-site, with flexible travel for internships/secondments)
Start date:
Immediately (or soon after)
Application deadline: 27 November 2025
Positions:4
fully funded doctoral positions
TU Wien's new Doctoral College on Automated Reasoning trains the next generation of experts at the intersection of
formal methods, security, and artificial intelligence.
The college is part of the TU Wien Informatics Doctoral School and offers a structured
4-year
program with co-supervision, research retreats, colloquia, and opportunities for
international internships/secondments
.
Research themes
* Verifying Without Loss of Generality
* Reachability-Preserving Reasoning
* Dichotomy between Proofs and Solutions of SAT
* Program Analysis for Zero-Knowledge Protocols
* Effective Testing and Repair Techniques for Machine-Learning Models
* Automated Cryptographic Protocol Analysis
* Static Analysis of Hyperproperties in DNNs
* Learning Theory-based Formal Verification
* Knowledge Informed Certified Robustness
You'll work closely with faculty including
Ezio Bartocci, Maria Christakis, Katalin Fazekas, Thomas Gärtner, Laura Kovács, Matteo Maffei,
and
Georg Weissenbacher
.
What you'll do
* Conduct original research in automated reasoning with applications to security and/or AI
* Develop methods, algorithms, and prototype tools; perform empirical evaluations
* Collaborate across labs; co-author publications; present at international venues
* Engage in the structured curriculum (area courses, research methods, ethics)
* Contribute to the college's seminars, workshops, and community events
* Optional: undertake
international
research secondments or internships
What we're looking for (must-haves)
* Master's degree
(or equivalent) in Computer Science, Mathematics, or closely related field
* Strong background in one or more:
formal methods, logic, algorithms, security, programming languages, ML/AI
* Solid programming skills (e.g., Python, C/C++, OCaml/Scala/Java, Rust)
* Excellent written and spoken
English
; strong communication and teamwork
Why TU Wien & Vienna
* Work with internationally recognized researchers in a
collegial, collaborative
environment
* A
structured 4-year
doctoral program with tailored mentoring and co-supervision
* Access to lively research ecosystems (Cybersecurity Center; CAIML) and lecture series
* Vienna is consistently ranked the
world's most livable city
Employment & funding
* Full-time, funded doctoral position
according to the
Austrian collective agreement
and
FWF personnel scheme
* Includes social insurance and standard Austrian university employment benefits
How to apply
Submit your application via by
27 November 2025
.
More details