TU Wien Informatics

20 Years

Two PhD positions in Formal Methods in System Engineering Group at TU Wien

  • 2019-07-01
  • Doctoral School

Application deadline for these two positions is July 4, 2019.

Candidates with a research background in computer-aided verification, programming languages, and distributed systems are particularly encouraged to apply for two open PhD positions under the supervision of Prof. Pavol Cerny, part of FORSYTE research group. Excellent knowledge of German and English languages is a requirement. TU Wien aims to increase the proportion of women and therefore calls on qualified women to apply. Persons with disabilities are equally encouraged to apply. For further Information please contact Mr. Gerhard Neustätter, gerhard.neustaetter@tuwien.ac.at

Further information: http://www.vcla.at/positions/


Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!