2 PhD Research Fellowships in Formal Methods for Cloud Computing in Norway | University of Oslo (UiO)

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.

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.

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.