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.
Responsibilities
* Research and develop formal verification methods for reinforcement learning with architecture layer uncertainty.
* Mathematically model reinforcement learning environments.
* Investigate formal methods and reinforcement learning techniques.
* Develop tools and produce outputs as project deliverables and publications.
Qualifications
* 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.
Contact
Prof. Steve Gunn, project PI: srg@soton.ac.uk.
#J-18808-Ljbffr