Postdoctoral Research Associate in Autonomy and Verification - Grade 7

Country: United Kingdom;

Deadline: 11.04.2019

Type of grant: For scientific researches;


Area Of Sciences: Компьютерные;


We are seeking to recruit a Postdoctoral Researcher to work in the `Autonomy and Verification Lab at the University of Liverpool. You will carry out research centred on autonomy and verification, potentially involving work across formal verification, agent theory, agent programming, assurance of deep/reinforcement learning, testing, robot software architectures, or security analysis. The work will likely involve collaboration across a range of universities, disciplines, and industrial partners. You should have a PhD in Computer Science, Mathematics or a related discipline. The post is available immediately, continuing until 31 March 2021.