PhD position in Cyber-Physical Systems Group, part of joint Austrian Doctoral College LogiCS, TU Wien, Vienna, Austria - Deadline: August 31, 2019

by Mihaela Rozman, July 8, 2019

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. The application deadline is August 31, 2019.

The Institute of Computer Engineering at Technische Universität Wien - TU Wien (Vienna University of Technology) 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. The application deadline is August 31, 2019.

 

========================================

TASK DESCRIPTION

Formal methods provide precise formal specification languages that can be easily interpreted by humans and verification algorithms that can check in an automatic way the value of satisfaction of interesting properties. One of the main problems of such techniques is the curse of dimensionality. A possibility to treat the problem is to use approximate methods such as statistical model checking. However, even these methodologies can be unfeasible for very-large-scale stochastic systems. A new research line consists of exploiting machine learning techniques and Bayesian inference to identify relevant data and decrease the computational cost, permitting the application of such powerful formal analysis on very complex systems. An important aspect that will be covered in the study is the spatial configuration of such systems, a key feature in several real case studies that are considering in the project. The methodology will be principally applied to tackle questions related to sustainable urban mobility and thus responsible consumption.    

 

========================================

APPLICATION

Please submit your application following the instructions in the DK LogiCS admission portal. https://logic-cs.at/phd/admission/, by indicating in the application form: Prof. Ezio Bartocci and Dr. Laura Nenzi as supervisors. While it is not necessary to have the Master degree at the moment of the application, it is instead mandatory to complete it before starting the PhD. Deadline: August 31, 2019

 

========================================

CONTACT DETAILS

For further information and inquiries about this post please contact Laura Nenzi, e-mail: laura.nenzi AT gmail.com

 

========================================

ABOUT THE DOCTORAL COLLEGE LOGICS

The Logical Methods in Computer Science - LogiCS is a PhD degree program funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities TU Wien (Vienna University of Technology), Graz University of Technology and Johannes Kepler University Linz. This program is aimed at highly motivated students who want to work in the field of Logical Methods in Computer Science. More on LogiCS: https://logic-cs.at/phd/

TU Wien (Vienna University of Technology) offers an outstanding research environment and numerous professional development opportunities.  The Faculty of Informatics is the largest one in Austria and is consistently ranked among the best in Europe. Vienna features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

The Faculty of Informatics at TU Wien is the gravitational center of informatics in Austria. Its faculty is the country’s largest research and educational institution in the area of informatics and business informatics. The Faculty of Informatics at TU Wien has been consistently ranked among top 60 computer science research and teaching institutions in the world by The Times Higher Education Ranking.

========================================

Website: http://www.vcla.at/positions/