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…





