PhD Research Fellowships in Formal Methods for Cloud Computing, University of Oslo, Norway

Publish Date: Apr 16, 2015

Deadline: Jun 01, 2015

2 positions as PhD Research Fellow are available at the Department of Informatics, University of Oslo.

The PhD fellowships are for a period of 3 years, starting Summer/Fall 2015.

Project description:

2 PhD positions combining formal methods, static analysis, and semantics with cloud computing and reflection, are available at the Department of Informatics, University of Oslo. The two PhD fellows will join an international research team on formal methods for virtualized systems and cloud computing. The positions are part of the project CUMULUS: Semantics-based Analyses for Cloud-Aware Computing funded by the Research Council of Norway.

Cloud computing is rapidly becoming the infrastructure of choice for compute- and data-intensive systems, offering pay-as-you-go elastic resource capacity as well as agility to quickly and flexibly deploy new applications. Virtualization technology makes elastic amounts of resources available to a software service; for example, the processing capacity allocated to a service may be dynamically adapted to the needs of the service. Cloud-aware computing refers to a new way of developing applications for cloud deployment, designed for high availability and fine-grained scalability on metered resources. Current trends in cloud computing, such as self-managed software using container technology and Docker, are primary targets for the outcomes of the CUMULUS project.

Our main goal is to reason about a cloud-aware application's resource usage and quality of service by means of static techniques, at design time. Cloud-awareness enables an application to negotiate its own quality of service and opens for dynamic and fine-grained resource management. The project will develop a formal foundation for cloud-aware computing and use this foundation to develop static analysis techniques based on executable models of virtualized systems. The techniques will be used to verify quantitative assertions about the high-level quality of service and low-level resource requirements of cloud-aware applications, for example, the trade-offs between an application's response time and resource usage when the application scales. The choice of techniques will be decided together with the PhD fellows.

The ideal candidate should have an interest in (some of) the following topics:  formal methods, semantics, deductive verification, proof systems, type systems, cost analysis, performance analysis, and tool development.


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.

Applicants for a PhD position must hold a Master's degree or equivalent in the area of computer science.

The ideal candidate would have a background in (some of) the following areas: formal methods, semantics, deductive verification, proof systems, type systems, cost analysis, performance analysis, and tool development.

The position is hosted at the research area in Precise Modeling and Analysis (PMA) at IFI. For background on the research environment, please see: Precise modelling and analysis (PMA) 

The purpose of the fellowship is research training leading to the successful completion of a PhD degree. The PhD fellowship requires admission to the PhD program at the Faculty of Mathematics and Natural Sciences at the University of Oslo. The application to the PhD program must be submitted to the department no later than two months after taking up the position. For more information see:

Applying and being admitted to a PhD programme

Research education: The PhD programme

A good command of English is required.


Position code 1017, Pay grade: 50 - 57 (NOK 429 700 – 482 800 per year)

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 interested individuals regardless of gender or ethnicity.

UiO has an agreement for all employees, aiming to secure rights to research results a.o.

  • Region:
  • Oslo
  • Job type:
  • Contract
  • Working hours:
  • Full-time
  • Working days:
  • Day
  • Application deadline:
  • 1. June, 2015
  • Location:
  • Oslo
  • Reference number:
  • 2015/5080

This opportunity has expired. It was originally published here:

Similar Opportunities



Study Levels


Opportunity Types


Eligible Countries


Host Countries