University of Oslo, Norway  Follow

University of Oslo PhD in Formal Methods for Security Analysis, Norway

Publish Date: Jan 08, 2016

Deadline: Feb 01, 2016

University of Oslo PhD in Formal Methods for Security Analysis

There are two Ph.D positions in the area of formal methods for analyzing security properties in concurrent and distributed programs. One Ph.D position is connected to the ConSeRNS initiative, targeting research challenges in security and robustness of ICT infrastructures. This is a 4 year position with a 25% teaching load. The other Ph.D position is connected to the IoTSec project, targeting security in Internetof- Things (IoT) for Smart Grids, and is for 3 years without teaching. Both positions have application deadline January 31st 2016.

The second PhD scholarship is focusing on semantic descriptions for the infrastructure components of IoT Smart Grids and their attack surface, and thus establishing an overall semantic model for IoT Smart Grids systems. The work will include development of case studies and tools. The PhD scholar will be supervised by a team of the faculty (see link below) involved in the IoTSec project.

Research Group:

Both positions are associated with the research group for Precise Modeling and Analysis (PMA), focusing on formal models, programming and modeling languages, and semantically based tools. See the PMA homepage. One position is a part of the ConSeRNS Strategic Research Initiative at the University of Oslo. ConSeRNS is run by 12 faculty members from the Department of Informatics and targets essential research challenges in security and robustness of ICT infrastructures. ConSeRNS is part of a national 2 Center for Resilient Networks and Applications (CRNA), which spans Simula Research Laboratory, the University of Bergen as well as the University of Oslo. For more information, see the group's web-page. The other position is a part of the IoTSec project.


The Faculty of Mathematics and Natural Sciences has a strategic ambition of being a leading research faculty. Candidates for these fellowships will be selected in accordance with this, and expected to be in the upper segment of their class with respect to academic credentials.

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. For more information see:

A good command of English is required.


Position code 1017, Pay grade: 50 - 57 (NOK 430 500– 483 700 per year)

The application must  include:

Application letter letter including a statement of interests
CV (summarizing education, positions, positions and academic work - scientific publications)
Copies of educational certificates, transcript of records and letters of recommendation
Documentation of English proficiency
List of publications and academic work that the applicant wishes to be considered by the evaluation committee

Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number)

Foreign applicants are advised to attach an explanation of their University’s grading system. Please remember that all documents should be in English or a Scandinavian language.

In accordance with the University of Oslo’s equal opportunities policy, we invite applications from all interested individuals regardless of gender or ethnicity.

UiO has an agreement for all employees, aiming to secure rights to research results a.o.


Professor Olaf Owe
Telephone: +47 22852449

Questions regarding EasyCruit, contact HR Officer Helene Beate Jansen
Telephone: +47 22857196

This opportunity has expired. It was originally published here:

Similar Opportunities



Natural Sciences

Study Levels


Opportunity Types


Eligible Countries


Host Countries