Job description
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:
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.
- 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 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.
- IoTSec project: http://IoTSec.no, PhD description: http://IoTSec.no/phd
Desired skills and experience
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.
The envisaged tasks include
Theoretical:
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.
The envisaged tasks include
Theoretical:
- Establish semantic descriptions for system of systems related to Smart Grid networks
- Create ontologies for security and security functionality
- Establish mechanisms for applying the semantic descriptions to measurable security and privacy
- Extend reasoning to address validation of semantic models
- Implement a semantic framework for security and privacy in a system of systems
- PhD-IoTSec: Develop the semantic modelling of security in a System of Systems, see IoTSec:T1.1
- PhD-Provability: Provide methodologies for semantic provability of semantic frameworks, see IoTSec:T2.3
- Industrial-PhD: Establish system and goal analysis of measurable security and privacy for Smart Grid Systems, see IoTSec:T1.2
- visualise the results in the visualisation studio of eSmart Systems
- discuss the impact with industry
About the employer
The research is performed in the context of the IoTSec
and the ConSeRNS initiatives, which is financed in part by the
Norwegian Research Council, the University of Oslo and eSmart Systems.
You will work together in a team with national project participants, and
international partners, as well as becoming part of the UiO/UNIK
student environment.
The work will be conducted at UiO (Oslo), at UNIK (Kjeller), or respectively eSmart Systems (Halden) in Norway. All PhDs will work closely together. You will be part of the exciting arena for innovation, and have the opportunity to work in an exciting internal environment with close contact to Research Institutes and Industry.
The work will be conducted at UiO (Oslo), at UNIK (Kjeller), or respectively eSmart Systems (Halden) in Norway. All PhDs will work closely together. You will be part of the exciting arena for innovation, and have the opportunity to work in an exciting internal environment with close contact to Research Institutes and Industry.
Disciplines: Artificial Intelligence, Computer Security and Reliability, Distributed Computing, Computer Communications (Networks), Data Structures
No comments:
Post a Comment