Ezio Bartocci

TrustCPS Group at Technische Universität Wien (TU Wien) is recruiting for multiple research openings in formal methods , trustworthy AI , probabilistic programming , and cyber-physical systems . Open positions include 4 postdoctoral researcher roles and 1 PhD position . The postdoc topics are: neuro-symbolic AI for ethical autonomous traffic (NEST / FFG), trustworthy generative AI certification (ROBUSTIFAI / EU Horizon Europe), and frequency-aware formal methods for CPS (FREELY / FWF, two positions). The PhD topic is probabilistic programming and loop termination (PROMT / WWTF). The group also offers Master and Bachelor theses for TU Wien students, with topics spanning formal methods, reinforcement learning, probabilistic programming, service robotics, runtime monitoring, and related areas. Research areas and keywords: formal methods, mathematical logic, programming language theory, machine learning theory, control theory, probabilistic programming, runtime monitoring, reinforcement learning, service robotics, trustworthy AI, and autonomous systems. Eligibility highlights: For PhD and postdoc roles, applicants should have a strong background in at least one of the listed theoretical areas and a Master's degree or equivalent in Computer Science, Mathematics, or a related field. For thesis projects, TU Wien students in Computer Science, Computer Engineering, or Mathematics are welcome. English is the working language. Funding: The positions are funded through EU Horizon Europe, FWF, WWTF, and FFG, with more than €6M in active funding across projects. The post and group page emphasize strong research support and structured doctoral training. How to apply: Send one email to [email protected] with the subject line Application — [Position type] . Attach a CV, a one-page motivation letter, transcripts, and the names/contact details of two academic referees. The group asks applicants not to contact the professor directly by email. Institution: TrustCPS Group, TU Wien.