17/04/2019
The Human Resources Strategy for Researchers
Science 4 Refugees

PhD Research Fellowship in Programming Language Theory and Formal Methods (ref 167693)

This job offer has expired


  • ORGANISATION/COMPANY
    University of Oslo
  • RESEARCH FIELD
    Computer science
  • RESEARCHER PROFILE
    First Stage Researcher (R1)
  • APPLICATION DEADLINE
    26/04/2019 22:00 - Europe/Athens
  • LOCATION
    Norway › Oslo
  • TYPE OF CONTRACT
    Temporary
  • JOB STATUS
    Full-time
  • HOURS PER WEEK
    37.5

The main focus of this PhD project will be to develop novel static analysis techniques and formal methods for big data applications. The main objective of this project is to devise static techniques to improve data locality in parallel data processing and make use of the statically inferred information for application-specific data management strategies to improve the performance of highly parallelized applications running on scalable architectures and accessing large amounts of data.

For more information and how to apply: https://www.jobbnorge.no/en/available-jobs/job/167693/phd-research-fellowship-in-programming-language-theory-and-formal-methods

Work location(s)
1 position(s) available at
Department of Informatics
Norway
Oslo

Open, Transparent, Merit based Recruitment procedures of Researchers (OTM-R)

Know more about it at University of Oslo

Know more about OTM-R

EURAXESS offer ID: 400670

Disclaimer:

The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.

 

Please contact support@euraxess.org if you wish to download all jobs in XML.