Postdoc position: Formal verification for probabilistic systems

Applications are invited for a Postdoctoral Research Fellow position working on formal verification techniques for probabilistic systems. The work is being funded as part of a research project under the DARPA BRASS (Building Resource Adaptive Software Systems) program and involves partners from Harvard University, the University of Southern California and Charles River Analytics.

The overall aim of the project is to develop adaptive software systems for operation in dynamic and uncertain environments, underpinned by rigorous formal verification methods which ensure the correctness of the adaptation process. The work will involve developing techniques that combine verification with probabilistic modelling and inference, with a particular preference for the use of probabilistic programming languages.

The postdoc will be supervised by Dr David Parker and be based in the School of Computer Science at the University of Birmingham. The post is available for up to 2-3 years.

To apply you must hold (or be close to achieving) a PhD in Computer Science or a closely related discipline. You should have demonstrated your research competence through high-quality and high-impact publications in top conferences and journals in formal verification, probabilistic modelling/inference and/or probabilistic programming languages. You should also have a strong mathematical background and good programming skills.

Informal enquiries are encouraged and should be made to:

To apply, go to:

The closing date for applications is 22 February 2017.