17/03/2021
The Human Resources Strategy for Researchers
Science 4 Refugees

PhD Research Fellowship in Formal Methods for Probabilistic Programs (ref 202841)

This job offer has expired


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

OFFER DESCRIPTION

The main purpose of this PhD position is to investigate the applicability of symbolic execution techniques for probabilistic programs.

Probabilistic programs are used to derive statistical information from uncertain data such as real-world observations. Software systems which need to handle uncertain data can be found in, for example, security, robot control systems and machine learning algorithms. Probabilistic programming aims to make probabilistic data available to programmers.

Symbolic execution is a technique for program analysis, based on executing programs with symbolic input values. By doing so, this technique is able to systematically explore the different execution paths of a program for all input values. Symbolic execution is used for both software testing and software verification. In this project, we explore the concepts and applicability of symbolic execution for probabilistic programs.

The project will be executed in the context of the Formal Methods group at the department, which develops and applies techniques for formal modelling and analysis in a range of problem domains. Of particular relevance is our participation in REMARO, a European MSCA PhD training network on reliable robotic control systems. The project will be supervised by Prof. Einar Broch Johnsen and further involves international collaborators Prof. Andrzej Wasowski (IT-University of Copenhagen, DK), Prof. Alexandra Silva (University College London, UK) and Prof. Ina Schaefer (Technical University of Braunschweig, DE).

For more information and how to apply: https://www.jobbnorge.no/en/available-jobs/job/202841/phd-research-fellowship-in-formal-methods-for-probabilistic-programs

More Information

Work location(s)
1 position(s) available at
The 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: 617002

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.