University of Liverpool -- Postdoc Position

At University of Liverpool, we have a postdoc position in the area of machine learning, software engineering, and formal verification, working on the topic of “verification and testing of learning-enabled systems”. The position is jointly funded by a Defence Science and Technology Laboratory (Dstl) project on “Test Metrics for Artificial Intelligence” and an EPSRC-funded UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management (ORCA). The candidate needs to have a PhD in Computer Science or Mathematics, with the topic relevant in one of the following areas (but not exclusive): machine learning, formal verification, software engineering, and artificial intelligence.

It is expected that the candidate will be actively developing algorithms for the verification and testing of machine learning algorithms, based on the DeepConcolic tool (, and validating the developed tool on various industrial case studies. She/he is expected to actively publish research discovery on top-tier conferences in software engineering, machine learning, automated verification, or artificial intelligence.

The position is on a fixed contract, initially for 2 years, and potentially extendable for one more year. The position can be started as soon as possible. We will consider applications until the position is filled.

Please feel free to contact me for any question.