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.
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.
Position code 1017, Pay grade: 50 - 57 (NOK 430 500– 483 700 per year)
The application must include:
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