PhD stipends, Aalborg University, Denmark
The Technical Faculty of IT and Design, Department of Computer Science, Aalborg University, Denmark
announce one or more PhD stipends are available within the general study programme Computer Science
and part of the ERC Advanced Grant LASSO (Learning, analysis, synthesis and optimization of CPS).
The stipends are open for appointment at the earliest from August 1, 2019 or soon thereafter.
The topics of the PhD stipends are covers the following:
* Foundations for Cyber Physical Systems. Foundations for Cyber Physical Systems. This includes
formalisms, logics and metrics for modeling, specification and reasoning about dynamical systems with
* Model Checking & Machine Learning for Quantitative Models, including statistical model checking,
synthesis and machine learning.
* Model Based Development and Resource Optimization of Embedded Software Systems including methods,
techniques, tools and middleware for the area and their application to industrial cases provided by
companies, e.g. Smart Grids and Home Automation, Intelligent Transport Systems, Nano-Satellite and
Information about application procedure may be found at https://www.stillinger.aau.dk/vis-stilling/?vacancy=1045500
For further information about scientific aspects of the stipends, please contact Professor Kim Guldstrand