Research themes
Arbeitsbereich Formal Methods in Systems Engineering

Favoritenstraße 9–11

A-1040 Wien

+43 (0)1 58801 18403
+43 (0)1 58801 18493

We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.

Funding programmes
NameTarget date
TU Wien - Helmut Veith StipendNov 30, 2019
Leading partner programmes
NameTarget date
No funding programmes found
Document typeNameLast changed
HomepageFORSYTE - Formal Methods in Systems Engineering
Powered by Elfi
Create profile
Copy profile