[TYPES/announce] PhD position @ Aalborg University: Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems (Ulrik Nyman)

[Ulrik Nyman]

At The Technical Faculty of IT and Design, Department of Computer 
Science a PhD stipend is available within the general study programme 
Computer Science and Engineering. The stipend is open for appointment at 
the earliest from 1st of June 2018 or soon thereafter.

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 stipend is 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 at cs.aau.dk).

For more information on the application process see: 
http://www.stillinger.aau.dk/vis-stilling/?vacancy=949684