The Coq mailing list

[Volker Stolz <Volker.Stolz AT hvl.no>]

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

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.

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.

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.

Note that the latter is an application area, the focus will be on proof 
engineering for algorithms in that domain (and others). We're happy to 
discuss possibilities with you!

Application deadline: 14. September 2017

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

Contact: Associate Professors Volker Stolz & Olivier Verdier, {volker.stolz, 
olivier.verdier}@hvl.no