Ten funded PhD and PostDoc positions
Monday, Jul 9, 2012The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.
We are looking for new colleagues in the areas of Formal Methods, Software Model Checking, Abstract Interpretation, Static Analysis, Automata Theory, …
If you are mathematically inclined and/or a versatile programmer willing to combine theory and practice, one of these research projects might offer the job of your dreams.