Join ARMACAD Today

Join over 100,000 researchers, students and professionals.

Subscribe and get new opportunities every day.

Sign Up


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


Deadline:

October 15, 2015

Disciplines:


Opportunity Cover Image - PhD Research Fellow in Formal Analysis Techniques for Concurrent Programs, University of Oslo, Norway
Department of Informatics

PhD Research Fellow in formal analysis techniques for concurrent programs

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.

Research group

The Ph.D position is embedded in the group Precise Modeling  and Analysis of Dependable Systems (PMA) at the Department of Informatics, University of Oslo. The group's activities include both theoretical, foundational, and experimental work within  formal methods, semantics, and language design. The group is involved in a number of European resp. national projects and the Ph.D student will have the possibility to contribute to those projects and profit from corresponding international research collaboration For more information, see the group's web-page: Precise modelling and analysis (PMA)

Areas of research:

  • principles of object-orientation and open distributed systems
  • static and dynamic formal program analyses and their implementation (type-based analyses, run- time monitoring).
  • specification and verification of programs

Application areas:

• cloud computing, multi-core programs, and concurrent and distributed computing in general.

Requirements

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.

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 for- mal 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, ambi- tious 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.

The purpose of the fellowship is research training leading to the successful completion of a PhD degree.

The fellowship requires admission to the PhD programme at the Faculty of Mathematics and Natural Sci- ences. The application to the PhD programme must be submitted to the department no later than two months after taking up the position. For more information see:

Application and Admission to the NAtural Sciences PhD Program 

Research education: The PhD Program 

A good command of English is required.

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.

Region: Oslo

Job type: Contract

Working hours: Full-time

Working days: Day

Reference number: 2015/10981

Home page: http://www.ifi.uio.no

Contacts

Professor Martin Steffen

Telephone: +47 22850417

Professor Olaf Owe
Telephone: +47 22852449

Questions regarding EasyCruit, contact HR Officer Helene Beate Jansen
Telephone: +47 22857196

Send application


Eligible Countries
Host Country
Study Levels
Opportunities
Publish Date
September 25, 2015




0 Comments


Subscribe to our newsletter

and receive information about international academic and professional opportunities

scholarships, summer schools, conferences, grants, fellowships, trainings


Sign Up