Join the TrustCPS Group

We are a research group at TU Wien working at the intersection of formal methods, probabilistic programming, and trustworthy AI. We develop the mathematical and algorithmic foundations that let you prove — not just test — that a software system is safe, correct, and reliable. If that excites you, we would like to hear from you.

PhD Positions Postdoc Positions Master Theses Bachelor Theses Student Projects

Why join us?

🏆

International recognition

Our work has received Best Paper Awards at EMSOFT, QEST, SAS, ETAPS, and AAMAS, and our PI is ranked in the Elsevier/Stanford Top 2% World Scientists. Your research will be published in top-venue A/A* conferences and journals and seen by the right people.

💶

Well-funded research

The group has attracted over €6M in competitive grants in the last five years from the EU, FWF, WWTF, FFG, and industry — including Horizon Europe projects with acceptance rates below 3%. You will work on well-resourced, multi-year research.

🌍

Global collaboration network

We have active collaborations with MIT, UC Berkeley, CMU, University of Maryland, RWTH Aachen, and Imperial College London. Mobility opportunities through Marshall Plan and Fulbright scholarships.

🎓

Structured doctoral training

As part of the Doctoral College on Trustworthy Autonomous CPS, PhD students benefit from structured training, interdisciplinary modules, industry exposure (TTTech Auto as part of NXP, Kapsch TrafficCom), and dedicated career support.

🚀

Career outcomes that matter

Our alumni hold positions at TU Delft (tenure-track), IST Austria, University of Luxembourg, AIT (permanent scientist), and leading companies including Huawei, Apple, and Digital Rail Germany. One former PhD student won the Informatics Europe Best Dissertation Runner-Up Award 2025, and one graduated sub auspiciis praesidentis — Austria's highest academic distinction. One postdoc was awarded the Hedy Lamarr Prize and is now Associate Professor. Three team members were awarded prestigious Marie Skłodowska-Curie Fellowships and two received FWF ESPRIT Fellowships.

🤝

Supportive group culture

We believe scientific excellence goes hand in hand with well-being. Mentoring is a genuine commitment, not a box to tick — from regular one-on-ones to help with fellowship applications, conference travel, and career planning.

Open Positions

Loading positions…

Where our alumni go

Since 2021, 10 PhD theses have been completed under supervision in the group. Our alumni hold competitive positions across academia and industry worldwide.

PhD graduates
since 2021

Active MSCA & FWF fellowships won

International scholarships
(Marshall Plan · Fulbright)

Informatics Europe
Best Dissertation Runner-Up 2025

TU Delft — Tenure-Track Faculty IST Austria — Postdoctoral Researcher University of Luxembourg — MSCA Fellow Huawei Research Apple Digital Rail Germany nyra health TU Wien (Postdoc)

What we look for

For PhD and postdoc positions, we look for candidates with a strong background in at least one of: formal methods, mathematical logic, programming language theory, machine learning theory, or control theory. A Master's degree (or equivalent) in Computer Science, Mathematics, or a related field is required.

For thesis projects, TU Wien students in Computer Science, Computer Engineering, or Mathematics are welcome. Curiosity and solid programming skills matter more than a specific background.

In all cases, we value intellectual curiosity, rigour, and the willingness to engage deeply with both theory and implementation. English is the working language of the group.

How to apply

Send a single email with the subject line "Application — [Position type]" (e.g., "Application — PhD, probabilistic programming"). We read every application personally.

CV — including publication list if applicable (PDF preferred)

Motivation letter — one page explaining which position interests you, why, and what research question you would like to pursue

Transcripts — Bachelor and/or Master degree transcripts

References — names and contact details of two academic referees (no need to send letters upfront)

joinus@trustcps.eu