Postdoctoral researcher at Stony Brook University (2010–2012), contributing to the NSF-funded CMACS project coordinated by Turing Award winner Prof. Edmund Clarke, focusing on computational cardiac dynamics
Joined TU Wien as University Assistant in 2012
Tenure-track Assistant Professor (2015)
Associate Professor (2019)
Full Professor (2020)
Vice-Chair of the Marie Skłodowska-Curie COFUND doctoral programme LogiCS@TUWien
Coordinator of the TrustCPS Special Interest Group at TU Wien Cybersecurity Center (CySec)
Chair of the Doctoral College on Trustworthy Autonomous Cyber-Physical Systems (since 2024)
Research Focus Coordinator for Computer Engineering at the Faculty of Informatics, TU Wien (since 2025)