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

Two 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. Applicants for a PhD position must hold a Master’s degree or equivalent in the area of computer science. The PhD fellowships are for a period of 3 years, starting Summer/Fall 2015. The application deadline is 1 June, 2015.

Study Subject(s): Fellowship is awarded in Formal Methods for Cloud Computing at University of Oslo in Norway.
Course Level: Fellowship is available for pursuing PhD research program at University of Oslo in Norway.
Scholarship Provider: University of Oslo, Norway
Scholarship can be taken at: Norway
Accreditation: University of Oslo is an accredited university. University of Oslo is accredited by the EUA.

Eligibility:-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.
-A good command of English is required.

Scholarship Open for International Students: Norwegian and international candidates can apply for this PhD research fellowship.

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

Number of award(s): 2 positions as PhD Research Fellow are available at the Department of Informatics, University of Oslo.

Duration of award(s): The PhD fellowships are for a period of 3 years, starting Summer/Fall 2015.

What does it cover? Position code 1017, Pay grade: 50 â€" 57 (NOK 429 700 â€" 482 800 per year)

How to Apply: The mode of applying is online. 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.

Scholarship Application Deadline: The application deadline is 1 June, 2015.

Further Official Scholarship Information and Application