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
