We seek Ph D 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, security, quantitative performance, and exploitation of modern machine learning technology. 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 for behavioral and security properties
• Efficient algorithms for model checking, learning and synthesis
• Improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic modeling paradigms
• Tool implementation and application to complex cyber-physical systems (e.g. transport, water, energy)

Requirements
Applicants must have a master’s degree in computer science or a closely related field. Due to the project’s angle, applicants must have a strong background in one or several of the following areas: model checking, modeling and specification of quantitative systems, security, games and synthesis, machine learning, logic-oriented artificial intelligence, tool development and implementation, as well as applications of the above to complex systems.

Outstanding spoken and written communication skills in English are essential.

Application
The application must contain:

1. A cover letter of max. 1 page, including (i) motivation for applying, (ii) preferred starting date (specifically if other than the project’s starting date of 1 December 2024), and (iii) 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. This description should outline the applicant’s thoughts and ideas within the overall aim of the S4OS project.
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: kgl@cs.aau.dk concerning the scientific aspects of the stipend.

Ph D stipends are allocated to individuals who hold a master’s degree. Ph D 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 Ph D 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 Ph D Programme at the Universities and Certain Higher Artistic Educational Institutions. According to the Ministerial Order, the progress of the Ph D student shall be assessed at regular points in time.

Shortlisting will be applied. This means that after 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, please contact Ms. Annemarie Davidsen, the Doctoral School at the Technical Faculty of IT and Design, email: ada@adm.aau.dk.

For more information of the Technical Doctoral School of IT and Design: www.phd.tech.aau.dk.

The application is only to be submitted online, 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.