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.