Two research assistant (PhD student) positions in Formal Methods in Systems Engineering

The Institute of Logic and Computation at the TU Wien, FORSYTE Group (E192-04) is offering a research assistant (PhD student) position, 30 h/week, for a an initial period of 7 months. The successful candidates will be supervised by Prof. Laura Kovacs. The estimated start date is July 1st, 2020.

  • The proposed research will focus on developing algebraic-based approaches using, in particular algorithmic combinatorics, ideal theory and constraint solving to automate the static analysis of program loops.
  • The monthly minimum salary is currently EUR 2.196,80 (14x per year). Prior experience may result in higher salary.

Application process

  • The application should include the candidate’s CV, an abstract of their Diploma/Master thesis and a short motivation letter. A first screening of applications will start on June 4, 2020.
  • Candidates need excellent knowledge of German and English language.

Diversity measures

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,

Application Deadline: 25.06.2020 (Date of postmark)

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

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

Comments are closed.