National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions
The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.
Formal Methods in Systems Enginnering Group: Ten PhD and PostDoc positions
The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.