Research Fellow in Formal Verification of Reinforcement Learning

Applications are invited for a Research Fellow position within the School of Electronics and Computer Science at the University of Southampton, working on the EPSRC project of formal verification of reinforcement learning with architecture layer uncertainty. The work will involve mathematical modelling, formal method/reinforcement learning technique investigation and tool development. The results will be written up as project deliverables and publications.

Qualified candidates must:

• Have, or be expected to obtain, a PhD in computer science or a related field.
• Demonstrate potential for conducting impactful research and publishing in premier outlets.

We seek candidates whose research interests complement and deepen our existing strengths and expand into new and exciting areas. Candidates with a research focus on formal methods, reinforcement learning and optimization are strongly encouraged to apply.

The post will be held in the School of Electronics and Computer Science (http://ecs.soton.ac.uk) at University of Southampton, UK.

Apply by uploading your CV and a cover letter detailing how your skills and experience match the requirements of the role.

For more information, contact:
Prof. Steve Gunn, project PI: srg@soton.ac.uk