University Assistant (prae-doc) in Formal Methods in Systems Engineering, Vienna (Austria)

The Institute of Logic and Computation at the TU Wien has an opening for a University Assistant (prae-doc) in the Research Unit Formal Methods in Systems Engineering. 30 hours/week, limited to four years, estimated starting date is September 2024. The vacancy is advertised in German, as German skills are required due to teaching responsibilities.