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.

http://www.vcla.at/phd-position-within-joint-doctoral-college-logical-methods-in-computer-science-logics-at-tu-wien-vienna-austria/

Links

• PhD Position at VCLA

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!