Research Fellow in Safe Reinforcement Learning

{ “@context”: “http://schema.org”, “@type”: “JobPosting”, “title”: “Research Fellow in Safe Reinforcement Learning”, “description”: “

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”, “datePosted”: “2026-05-19”, “hiringOrganization”: { “@type”: “Organization”, “name”: “University of Southampton”, “sameAs”: “https://uk.whatjobs.com/pub_api__cpl__435986534__4861?utm_campaign=publisher&utm_medium=api&utm_source=4861&geoID=493” }, “jobLocation”: { “@type”: “Place”, “address”: { “@type”: “PostalAddress”, “addressLocality”: “Southampton” } } }
Company: University of Southampton
Apply for the Research Fellow in Safe Reinforcement Learning
Location: Southampton
Job Description:

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…

Posted: May 19th, 2026