elfi-user-portlet

Forschungsthemen
Arbeitsbereich Formal Methods in Systems Engineering

Favoritenstraße 9–11

A-1040 Wien

+43 (0)1 58801 18403
+43 (0)1 58801 18493
sek@forsyte.tuwien.ac.at

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.

Förderprogramme
NameDeadline
TU Wien - Helmut Veith Stipend30.11.2019
Projektträgerprogramme
NameDeadline
Keine Förderprogramme gefunden
Dokumente
DokumenttypNameLetzte Änderung
HomepageFORSYTE - Formal Methods in Systems Engineering
Powered by Elfi
Profil erstellen
Profil kopieren