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. JOB DESCRIPTION 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 Mesh-Networks. 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 Larsen, kgl@cs.aau.dk.
Master of Science in Informatics at Grenoble (MOSIG 2016-2020)
