ORGANISATION/COMPANYUniversity of Oslo
RESEARCH FIELDComputer science
RESEARCHER PROFILEFirst Stage Researcher (R1)
APPLICATION DEADLINE15/05/2021 22:00 - Europe/Athens
LOCATIONNorway › Oslo
TYPE OF CONTRACTTemporary
HOURS PER WEEK37.5
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
EURAXESS offer ID: 617002
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 firstname.lastname@example.org if you wish to download all jobs in XML.