[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 1 August 2017 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=910455