Two PhD student positions in formal methods, Vienna (Austria)

The Institute of Logic and Computation at the TU Wien, FORSYTE Group is offering two research assistant (PhD student) Positions, 30 h/week, for a period of 4 years. The successful candidate will be supervised by Prof. Pavol Cerny. The proposed research will focus on computer-aided verification and synthesis of distributed systems. The estimated start date is September 2, 2019.

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.