PhD Research Fellow in Formal Analysis Techniques for Concurrent Programs, University of Oslo, Norway

A position as Phd Research Fellow, position code 1017, is available at the Department of Informatics. The Ph.D 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 candidate is expected to work on program analysis and modelling techniques to ensure robust and predictable program execution,  such as e.g., monitoring and run-time verification, extended type systems, and combinations of static and dynamic techniques. Properties we are interested in are mostly non-functional such as resource-consumption (time, memory and similar) and also security-aspects. Target application domains are concurrent programs intended to run on variable platforms (such as on different cloud providers or in different multi-core architectures) and the analysis methods being develop are intended to make systematic, semantic- based and ideally automated decisions on how to deploy, (re-)configure, or parallelize applications.

Qualifications

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

Salary

Position code 1017, Pay grade: 50 - 57 (NOK 430 500 - 483 700) 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 inter- ested individuals regardless of gender or ethnicity.  UiO has an agreement for all employees, aiming to secure rights to research results a.o.

Note: No one can be appointed for more than one fixed-term period at the same institution.