Informatics, TU Vienna

Job Announcement: PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems

Application deadline August 31, 2019

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.