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 
rich behavior.

*       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
For further information about scientific aspects of the stipends, please contact Professor Kim Guldstrand 

Comments are closed.