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.

Qualifications

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:

http://www.uio.no/english/research/phd/before-applying/

http://www.mn.uio.no/english/research/doctoral-degree-and-career/phd-programme/index.html

A good command of English is required.

This opportunity has expired. It was originally published here:

http://uio.easycruit.com/vacancy/1554363/64290?iso=no