Wednesday, March 2, 2016

[DMANET] Postdoc position on Secured Real-Time Operating System

Postdoc position on Secured Real-Time Operating System

A postdoc position is opened by The Université Libre de Bruxelles and the company Hipperos in the domain of Secured Real-Time Operating System. The aim of the research is to propose measures to introduce security in the architecture of a modern Real-Time Operating System (RTOS) in the sense of allowing Multiple Levels of Security. This means both the security of the RTOS itself related to the authentication of the kernel, updates, drivers, services, ... as well as the secure management of applications (registration of a new application, update and upgrade of applications and execution of applications) and the security of data inside applications. The researcher would study the [HIPPEROS]( <>) architecture and propose, based on the state-of-the-art of secure operating systems, how to smoothly integrate such an architecture in the existing development process of HIPPEROS. The researcher will implement the proposed architecture in the operating system.

Status: Two years Marie Curie postdoc grant

Expected starting date: September 2016

Location: University of Brussels (ULB), Belgium

Interested applicants should:
- Hold a Ph.D. degree or equivalent in Computer Science or Computer Engineering or a closely related area
- Have solid background on real-time systems
- Have good programming skills (in C)
- Have a good publication record
- Demonstrate an excellent level of spoken and written English. Knowledge of French is a plus.

Applications should be sent latest by March 15, 2016 to <>
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.