PhD Research Fellowship in Formal Analysis Techniques

Deadline: 15 October 2015
Open to: holders of Master’s degree or equivalent in computer  science with good analytical and programming skills
Fellowships:  EUR 45,529 – EUR 51,155 per year


The Faculty of Mathematics and Natural Sciences at the University of Oslo holds a long and proud tradition within research and education in Norway. The research that is conducted covers a broad field of subjects within natural sciences and technology. The Faculty has several excellent research environments and competent researchers, many of who are cutting edge within their areas of specialization both nationally and internationally.

A position as PhD Research Fellow is available at the Department of Informatics. The PhD topic is in formal methods and tools for analyzing properties in concurrent and distributed programs. The position is available at the research Group for Precise Modeling and Analysis of Dependable Systems (PMA). The fellowship will  be for a period of 4 years, with 25 % compulsory work (teaching responsibilities at the Department), assuming sufficient teaching skills. Otherwise, the fellowship will be for a period of 3 years, with no compulsory work. Starting date is as soon as possible.


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 formal methods and analysis:

  • Software verification;
  • Validation and testing;
  • Static analysis;
  • Semantics;
  • Concurrency theory;
  • Including knowledge of tools in that field.

Besides technical skills, the department is looking for a curious, ambitious candidate who is highly motivated to do research and contribute to the work done at the group. Good communication skills in both oral and written English are expected.


Fellow will receive a stipend of EUR 45,529 – EUR 51,155 per year. 

How to apply?

The deadline for application is 15 October 2015.

The application must include:

  • Application letter;
  • CV (summarizing education, 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 inter- ested individuals regardless of gender or ethnicity.  UiO has an agreement for all employees, aiming to secure rights to research results a.o.

For more information please visit the official website.

Leave a Reply