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 (http://people.cs.aau.dk/~adavid/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 (http://ulrik.blog.aau.dk/multi-core-safety/).

For further information about scientific aspects of the stipends, please contact Associate Professor Ulrik Nyman (ulrik@cs.aau.dk).

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: bew@adm.aau.dk, phone: +45 9940 9909.

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 by using the "Apply online" button below.

Agreement

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

16-17099

Deadline

Thu Feb 01 00:00:00 CET 2018

Apply online

Online ansøgning - gode råd

Online ansøgning - gode råd

Aalborg Universitet benytter et e-rekrutteringssystem til modtagelse af ansøgninger. I selve stillingsopslaget finder du nederst et link, som du skal benytte, når du ønsker at søge en stilling.

Inden du uploader en ansøgning, er det vigtigt, at du har al dokumentation klar i WORD- og/eller PDF- format, da du skal uploade alt på én gang. Du kan ikke forlade ansøgningen og vende tilbage efter et par timer uden at skulle starte forfra.

Systemet understøtter ikke ZIP-filer eller billedfiler. Filnavne må kun indeholde tal og bogstaver, og hvert enkelt dokument må maks. fylde 20 MB.

Hvis der opstår tekniske problemer, opfordrer vi til, at du prøver igen. Hvis de tekniske problemer mod forventning ikke kan løses, så kontakt venligst den medarbejder, som står nævnt som kontaktperson i stillingsopslaget.