PhD position with FORSYTE at TU Wien

Prof. Pavol Cerny is hiring two PhD student for FORSYTE (Formal Methods in System Engineering) group in the Institute of Logic and Computation at Technische Universit├Ąt Wien (TU Wien).

Website: FORSYTE
The application deadline is July 4, 2019.
Estimated start date is September 2, 2019.
For further information and inquiries about this post please contact Mr. Gerhard Neust├Ątter, e-mail:

Candidates with a research background in computer-aided verification, programming languages, and distributed systems are particularly encouraged to apply. 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.

The monthly minimum salary is currently EUR 2.148,40 (14x per year). Prior experience may result in a higher salary. The Faculty of Informatics at TU Wien is the largest one in Austria. It offers a first-class research environment and various academic development programs. Vienna has repeatedly been ranked Number 1 worldwide in the Mercer Quality of Living Survey.

The proposed research will focus on computer-aided verification and synthesis of distributed systems. The application should include the candidate’s CV, an abstract of her/his Diploma/Master thesis, a short motivation letter, and contact information for two references.

Please send your application documents to Personaladministration, Fachbereich wiss. Personal der TU Wien, Karlsplatz 13, 1040 Wien. Online applications 

Candidates are not eligible for a refund of expenses fortraveling and lodging related to the application process.