PhD Positions in Security Modelling for the Internet of Things, University of Oslo, Norway (2016)

The University of Oslo (UiO), in collaboration with our industrial partner eSmart Systems, increases the focus on information security. Several PhD positions are envisaged at http://IoTSec, addressing:

- PhD-IoTSec: Semantic modelling of security in a System of Systems
- PhD-Provability: Semantic provability of Security
- Industrial-PhD: Measurable security and privacy for Smart Grid Systems

The future smart grid with prosumers (producers and consumers) provides a wide variety of opportunities for a better and greener environment, and for novel services related to smart everywhere (Smart Grid, Smart Home, Smart City). Our focus is on increasing security and privacy, which are essential for the customers, the provider of the grid, and the society as a whole.

The envisaged PhD positions are related to both the IoTSec.no initiative and the Strategic Research Initiative ConSeRNS. The novel concept of "Measurable Security and Privacy" was established through an international collaboration, and is now applied to the Smart Grid. Though the principle is understood, the challenges addressed through these PhD positions are in the description of the system, the creation of security ontologies and the verification of the semantic models.

The applicant is required to hold a Master's degree or equivalent in computer science and should have good analytical and programming skills. The ideal candidate has background in (some of) the following areas of system security and formal methods and analysis: software verification, validation, monitoring and testing, semantics, including knowledge of tools in that field. Besides technical skills, we are looking for a curious, ambitious candidate who is highly motivated to do research and contribute to the work done at our group. Good communication skills in both oral and written English are expected. We strongly encourage that the application is accompanied by a short cover letter explaining shortly how the applicant's background and education fits to the goals and requirements of this project.

The fellowship requires admission to the research training programme at the Faculty of Mathematics and Natural Sciences. The application to the PhD programme must be submitted to the department no later than two months after taking up the position.

Further details:
http://www.researchgate.net