A sharing platform for the Computer-Aided Verification community
The doctoral college at TU Wien (Technical University Vienna) has 10 open full-time PhD positions supported by the novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme. The application deadline is April 30 2022. See the full call here or read it below.
Prof. Ezio Bartocci (supervisor) and Dr. Laura Nenzi (co-supervisor) are hiring a PhD student at the Institute of Computer Engineering at Technische Universität Wien (TU Wien).
For whom: Female student in CS who plan to pursue or pursuing master’s program at TU Wien
Deadline: November 30, 2018
Website: See for more details
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).