Ten funded PhD and PostDoc positions

Monday, Jul 9, 2012

The 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.