PhD student position in formal methods, Vienna (Austria)

The Institute of Computer Engineering at Technische Universität Wien (TU Wien) is seeking a candidate for a research assistant position (PhD student, 4 years). The successful applicant will carry out his/her PhD in the research area of formal methods applied to the specification and monitor of large-scale, spatially-distributed, stochastic systems, contributing to the recently acquired project: 'High-dimensional statistical learning: new methods to advance economic and sustainability policies'.

The successful candidate will be a PhD student of the LogiCS Doctoral Program and she/he will be supervised by Prof. Ezio Bartocci and co-supervised by Dr. Laura Nenzi.