PhD position with LogiCS at TU Wien
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).
A sharing platform for the Computer-Aided Verification community
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).