Ten PhD and Postdoctoral positions in formal methods, Vienna (Austria)

The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 funded PhD/PostDoc positions in three exciting research projects addressing the reliability and correctness of software. The topics range from model checking, abstract interpretation, static analysis and automata theory to testing and runtime verification, offering ample research opportunities for talented scientists, from system enthusiasts to the more theoretically minded.

You can find more details below or on our website http://www.forsyte.at/hiring. Please do not hestitate to contact us (hiring at forsyte.at), if you have further questions.