PhD position with FORSYTE at TU Wien
Prof. Pavol Cerny is hiring two PhD student for FORSYTE (Formal Methods in System Engineering) group in the Institute of Logic and Computation at Technische Universität Wien (TU Wien).
A sharing platform for the Computer-Aided Verification community
Prof. Pavol Cerny is hiring two PhD student for FORSYTE (Formal Methods in System Engineering) group in the Institute of Logic and Computation at Technische Universität Wien (TU Wien).