PhD Stipends within Distributed, Embedded and Intelligent Systems

Aalborg University
March 05, 2023
Offerd Salary:Negotiation
Working address:N/A
Contract Type:Other
Working Time:Negotigation
Working type:N/A
Ref info:N/A
PhD Stipends within Distributed, Embedded and Intelligent Systems (DEIS)


At the Technical Faculty of IT and Design, Department of Computer Science, a number of PhD stipends are available within the Computer Science study programme. The stipends are open for appointment from March 15, 2023 or soon thereafter.

Job description

We seek PhD students that will contribute to new generations of scalable, model-based tools for cyber-physical systems based on a mathematical sound foundation, that enables trade-offs between functional safety and quantitative performance. It is the overall hypothesis of S4OS that a full integration of model checking and synthesis with machine learning will provide the key to innovative, highly scalable methods for learning, analysis, synthesis and optimization of cyber-physical systems.

Based on preferences, the candidates will work along one (or more) of the following different directions:

  • Theoretical foundation involving quantitative models (e.g. stochastic, timed weighted, hybrid automata) and logics
  • Efficient algorithms for model checking, learning and synthesis
  • Tool implementation and application to complex cyber-physical systems (e.g. transport, water, energy)
  • Application: The application must contain:

    1. A cover letter of max. 1 page, including (i) motivation for applying, and (ii) a brief explanation of the applicant's background 2. A research statement (project description) related to one or more of the three indicated research directions 3. CV 4. Diploma and transcripts of records 5. Other relevant information

    You may obtain further information from Professor Kim Guldstrand Larsen, Department of Computer Science, email: [email protected] concerning the scientific aspects of the stipends.

    PhD stipends are allocated to individuals who hold a Master's degree. PhD stipends are normally for a period of 3 years. It is a prerequisite for allocation of the stipend that the candidate will be enrolled as a PhD student at the Technical Doctoral School of IT and Design in accordance with the regulations of Ministerial Order No. 1039 of August 27, 2013 on the PhD Programme at the Universities and Certain Higher Artistic Educational Institutions. According to the Ministerial Order, the progress of the PhD student shall be assessed at regular points in time.

    Shortlisting will be applied. This means that subsequent to the deadline for applications, the head of department supported by the chair of the assessment committee will select candidates for assessment. All applicants will be informed whether they will be assessed or not.

    For further information about stipends and salary as well as practical issues concerning the application procedure contact Ms. Annemarie Davidsen, the Doctoral School at The Technical Faculty of IT and Design, email: [email protected], phone: +45 9940 2109.

    For more information of The Technical Doctoral School of IT and Design: www.

    The application is only to be submitted online by using the "Apply online" button below.

    AAU wishes to reflect the diversity of society and welcomes applications from all qualified candidates regardless of personal background or belief.


    Appointment and salary as a PhD fellow are according to the Ministry of Finance Circular of 15 December 2021 on the Collective Agreement for Academics in Denmark, Appendix 5, regarding PhD fellows, and with the current Circular of 11 December 2019 on the employment structure at Danish universities.

    Vacancy number



    Thu Feb 16 00:00:00 CET 2023

    From this employer

    Recent blogs

    Recent news