We are looking for a Postdoctoral Research Assistant in Robot Planning Under Uncertainty to join the GOALS group in the Oxford Robotics Institute at the University of Oxford, UK. The post is fixed-term until 31st March 2021.

The successful applicant will help drive our research in probabilistic planning for single and multi-robot systems operating in challenging environments and around humans. We are looking for an individual who is enthusiastic about applying Artificial Intelligence techniques to autonomous robots for use in industrial settings, whilst also innovating the underpinning techniques for modelling and solving planning problems under uncertainty. Our work spans the AI planning, probabilistic verification, and formal methods for robotics communities, so experience in one of these domains is essential. The role will form a key part of our growing, energetic research group, with the applicant working with our students, research collaborators, and industrial partners.

We are looking for someone with expertise in modelling and solving problems as Markov decision processes (or related formalisms) from either an AI or formal verification perspective. Enthusiasm for working with mobile robots is a big plus. As is a background in AI planning, probabilistic verification or formal methods.

For our research group see: http://ori.ox.ac.uk/labs/goals/

For informal enquires please contact Nick Hawes (nickh@robots.ox.ac.uk).

Closing date is 12 noon BST on Monday 13 May 2019.

For more information, including how to apply, see https://eng.ox.ac.uk/jobs/job-detail/?vacancyID=140257

The Department holds an Athena Swan Bronze award, highlighting its commitment to promoting women in Science, Engineering and Technology.