PhD in Computer Science — Automated Reasoning, TU Wien

Vor 5 Tagen

Wien, Wien, Österreich Cybersecurity Center TU Wien Vollzeit € 30.000 - € 60.000 pro Jahr

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

  • University Professor

    vor 3 Wochen

    Wien, Wien, 1040, Wien, Österreich Technische Universität Wien Vollzeit

    University Professor (all genders) Specialist field of Integrated Photonics TU Wien is Austria's largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists, research, teaching, and learning dedicated to the advancement of science and technology have been...

  • Fully funded PhD positions Mathematical

    Vor 5 Tagen

    Wien, Wien, Österreich Physics World Vollzeit € 40.000 - € 80.000 pro Jahr

    Job DetailsFully-funded PhD positions in Astronomy, Biology, Computer Science, Chemistry & Materials, Data Science & Scientific Computing, Earth Science, Mathematics, Neuroscience, and PhysicsThe Institute of Science and Technology Austria - ISTA is looking for highly qualified candidates with Bachelor's or Master's degrees to apply for the PhD program. We...

  • Universitätsassistent_in Laufbahnstelle Assistant Professorship

    vor 4 Wochen

    Wien, Wien, 1040, Wien, Österreich Technische Universität Wien Vollzeit

    An der Fakultät für Bau- und Umweltingenieurwesen, Institut für Tragkonstruktionen, ist derzeit eine Laufbahnstelle, voraussichtlich ab April 2026 (40 Wochenstunden, befristet) mit folgendem Aufgabengebiet zu besetzen. Die Stelle ist vorerst auf die Dauer von sechs Jahren befristet und beinhaltet im Falle des Abschlusses einer Qualifizierungsvereinbarung...

  • Full Professor of Business Analytics and Decision Sciences

    Vor 5 Tagen

    Wien, Wien, Österreich Wirtschaftsuniversität Wien Vollzeit € 92.000 - € 180.000 pro Jahr

    WU is currently inviting applications for multiple faculty positions to launch its new Department of Business Analytics and Decision Sciences. This call focuses on two positions as full professors[1], who are expected to have established an excellent international reputation as a researcher in Business Analytics and Decision Sciences. We are seeking...

  • Universitätsassistent_in Laufbahnstelle Assistant Professorship

    vor 4 Wochen

    Wien, Wien, 1040, Wien, Österreich Technische Universität Wien Vollzeit

    Universitätsassistent_in Laufbahnstelle Assistant Professorship (all genders) - Tenure Track "Computational Engineering Science for Physicochemical Processes" Die Technische Universität Wien ist Österreichs größte Forschungs- und Bildungseinrichtung im technisch-naturwissenschaftlichen Bereich und leistet seit mehr als 200 Jahren einen unverzichtbaren...

  • Senior Scientist

    Vor 5 Tagen

    Wien, Wien, Österreich German Association of Women Engineers - dib, deutscher ingenieurinnenbund Vollzeit € 47.350 - € 60.000 pro Jahr

    TeilzeitWienVeröffentlicht am 24. November 2025EUR 3.946,30/month gross, 14 times/year for 32 hours/week. Relevant working experiences may increase the monthly income. EUR / JahrWebsiteTU Wien - Institute of Information Systems Engineering, Research Unit of Software EngineeringAt the Institute of Information Systems Engineering, in the Research Unit of...

  • Senior AI/Computer Scientist – Agent Systems

    Vor 5 Tagen

    Wien, Wien, Österreich Vanadium Solutions Vollzeit € 80.000 - € 120.000 pro Jahr

    Senior AI/Computer Scientist for Agentic SystemsLocation:Vienna, Austria (Partly remote/Hybrid possible, HQ in Vienna, Austria)Position:Full-timeDepartment:Software & AINote:Only applicants currently residing in Vienna can be considered.About UsVanadium Solutions buildsprivacy focused AI systemsfor organizations that cannot risk cloud dependency. Our...

  • PhD "Development and experimental validation of underground sand-based thermal energy storage systems for medium-temperature applications

    Vor 4 Tagen

    Wien, Wien, Österreich AIT Austrian Institute of Technology Vollzeit € 27.681 - € 40.000 pro Jahr

    AsAustria's largest research and technology organisationfor applied research, we are dedicated to make substantial contributions to solving the major challenges of our time, climate change and digitisation. To achieve our goals, we rely on our specific research, development and technology competencies, which are the basis of our commitment to excellence in...

  • Assistant Professorship

    Vor 4 Tagen

    Wien, Wien, 1040, Wien, Österreich Technische Universität Wien Vollzeit

    At the Faculty of Civil and Environmental Engineering TU Wien is offering the following tenure track position until January 31st, 2032 for 40 hours/week. Expected start: February 2026. The candidate and TU Wien can agree upon a tenure evaluation, which when positive, opens the possibility to change the position to Associate Professor with an unlimited...

  • Dissertation "Numerische und experimentelle Untersuchungen eines induktiv gekoppelten Plasmabrenners für industrielle Anwendungen"

    Vor 4 Tagen

    Wien, Wien, Österreich AIT Austrian Institute of Technology Vollzeit € 39.551 - € 83.919 pro Jahr

    AlsÖsterreichs größte Forschungs- und Technologieorganisation für angewandte Forschunghaben wir uns zum Ziel gesetzt, substanzielle Beiträge zur Lösung der großen Herausforderungen unserer Zeit, Klimawandel und Digitalisierung, zu leisten. Dabei setzen wir auf unsere spezifischen Forschungs-, Entwicklungs- und Technologiekompetenzen, die die Grundlage...