PhD research fellow position in Proof Engineering Technologies in Probabilistic Programming and Software Verification

by Volker Stolz, Aug. 4, 2017

The computer science and mathematics group at HVL has long experience in formal modelling technologies, that guarantee correctness with regard to specifications, e.g., for security properties of models and software. We are now interested in applying verification techniques to e.g. distributed protocols and/or machine learning.

Western Norway University of Applied Sciences (HVL), Faculty of Engineering and Business Administration has an open position for a PhD research fellow in Proof Engineering Technologies in Probabilistic Programming and Software Verification.

The PhD research fellow will be affiliated with the faculty’s ICT-oriented strategic research programme on ICT engineering (http://ict.hvl.no) which currently includes 20 professors and associate professors, 15 PhD students, and a number of master’s students. The ICT engineering research environment at HVL, Campus Bergen has a strong focus on use-inspired and applied research, and on ICT as an enabling technology. The research environment has cooperation with many national and international research groups, and with national and regional industry partners. The programme includes the research themes of software engineering, engineering computing, sensor networks, and grid computing.

The PhD research fellow will be part of the ICT Research Group (http://prosjekt.hib.no/ict/research/).
The computer science and mathematics group at HVL has long experience in formal modelling technologies, that guarantee correctness with regard to specifications, e.g., for security properties of models and software. We are now interested in applying verification techniques to e.g. distributed protocols and/or machine learning.

Machine learning is changing the landscape of engineering. Within machine learning, approximate inference algorithms are becoming essential tools. An immense challenge is to test those algorithms, which are random by nature. One idea is to use functional programming to construct and verify such algorithms.

Research focus of the position will be the application of software verification techniques, e.g. to:

• machine learning algorithms;
• distributed protocols;
• probabilistic algorithms.

Qualifications
The PhD research fellow should have a master's degree in computer science or in a closely related field, or have submitted the master's thesis before the application deadline. In the latter case, it is required that the master`s degree be awareded within 4 weeks after the applications deadline.

The ideal candidate will have experience and interest in one or more of the following areas:

• functional programming or verification;
• programming language semantics;
• machine learning.

Please see https://www.jobbnorge.no/ledige-stillinger/stilling/140537/phd-research-fellow-position-in-proof-engineering-technologies-in-probabilistic-programming-and-software-verification for full application details.