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: gerhard.neustaetter@tuwien.ac.at
Requirements:
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.
Benefits:
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.
Application:
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 toveronika.korn@tuwien.ac.at
Candidates are not eligible for a refund of expenses fortraveling and lodging related to the application process.