One or more PhD Stipends in Computer Science; Model-based Schedulability Analysis of Multi-Core Safety Critical Systems (16-17099)

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 and Engineering. The stipends are open for appointment at the earliest from 1 June 2018 or soon thereafter.

Job description

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

• Model-based Schedulability Analysis of Multi-Core Safety Critical Systems. This includes domain modeling in the form of Timed I/O Automata, design of a domain specific language for describing multi-core scheduling systems and utilizing the model checking tool Ecdar ( to perform compositional model checking of the models.

The PhD stipends are a part of the research project Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems (

For further information about scientific aspects of the stipends, please contact Associate Professor Ulrik Nyman (

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 every six months. It is a prerequisite for continuation of salary payment that the previous progress is approved at the time of the evaluation.

Shortlisting procedure is used for this announcement. After expiry of the application deadline, the Appointments Committee review all submitted applications. They assess which applicants are most relevant according to the requirements in the announcement for the post and send the shortlisted candidates to the assessment committee for review.

All applicants will be notified whether they are being passed to assessment or not.

The qualifications of the shortlisted applicants will then be assessed by an expert assessment committee. On the basis of the recommendation of the expert assessment committee, the Dean of the Technical Faculty of IT and Design will make a decision for allocating the stipends.

For further information about stipends and salary as well as practical issues concerning the application procedure contact Ms. Bettina Wedde, the Technical Faculty of IT and Design, email:, phone: +45 9940 9909.

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

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


Appointment and salary as a PhD fellow are according to the Ministry of Finance Circular of November 10, 2015 on the Collective Agreement for Academics in Denmark, Appendix 5, regarding PhD fellows, and with the Ministry of Finance current circular on the employment structure at Danish Universities.

Vacancy number



Thu Feb 01 00:00:00 CET 2018

Apply online

Online application - some good advice

Online application - some good advice

Aalborg University uses an electronic recruitment system for receiving applications. Towards the bottom in the respective job advertisement you will find a link, which you need to use when applying for the position. Before uploading your application it is important that you have all relevant documentation ready in a Word or PDF format, as you need to upload all material at the same time. You cannot leave the application and return to it a couple of hours later without having to start over.

The system does not support ZIP or images files. Filenames can only contain numbers and letters, and each document must take up no more than 20 MB.

If you experience technical problems, we encourage you to try again. If the technical problems, contrary to expectation, cannot be solved, please contact the member of staff listed as the contact person in the job advertisement.