professor profile picture

Ezio Bartocci

Full Professor

Universität Wien

Country flag

Austria

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do I reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

Research Interests

Biostatistics

30%

Statistics

30%

Cyber-physical System

30%

Probability Theory

30%

Probabilistic Modeling

20%

Reinforcement Learning

20%

Machine Learning

20%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

Recent Grants

Grant: Close

IoT4CPS

Open Date: 2017-12-01

Close Date: 2020-12-01

Positions1

Publisher
source

Ezio Bartocci

University Name
.

Technische Universität Wien

PhD and Postdoc Positions in Formal Methods, Trustworthy AI, and Probabilistic Programming at TU Wien

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.

Articles10

Collaborators6

John Stankovic

University of Virginia

UNITED STATES

Cristinel Mateis

AIT Austrian Institute of Technology GmbH

AUSTRIA

Dejan Nickovic

AIT Austrian Institute of Technology GmbH

AUSTRIA

Laura Kovacs

TU Wien

AUSTRIA

Erika Abraham

RWTH Aachen University

GERMANY

Joost-Pieter Katoen

RWTH Aachen University

GERMANY