Jobopslag: PhD Stipends in Computer Science

Bliv ph.d.-studerende i tilknytning til DiCyPS.

Om stillingerne:

At The Technical Faculty of IT and Design, Department of Computer Science, one or more PhD stipends are available within the general study programme Computer Science.

The stipends are open for appointment at the earliest from April 1, 2019 or soon thereafter.

Job description

The topics of the PhD stipends are within Computer Science and are described as follows.

  • 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 behaviour.
  • 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.

The above topics are strongly connected to the large-scale research project DiCyPS (https://www.dicyps.dk/dicyps-in-english/), which is a joint effort between research groups from computer science, energy technology, transportation and a number of committed companies.

The topics are also related to the newly started EU ERC grant LASSO – Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems.

> Læs mere og ansøg på aau.dk