At the Institute of Logic and Computation, in the Research Unit
of Formal Methods in Systems Engineering, TU Wien (Vienna, Austria) is offering two positions as
university assistant post-doc (all genders) limited to expected 6 years for 40
hours/week. Expected start: January 2026.
The second job offer is in German, as German skills are required for this position.
Deadline for applications is November 13, 2025.
Female applicants
are explicitly encouraged to apply. Please forward the information about these openings to anyone who might be interested!