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.
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:
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: