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 (https://github.com/TrustAI/DeepConcolic), 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.