[robotics-worldwide] Research assistant position - University of Oxford
Sonia.Waharte at cs.ox.ac.uk
Tue Aug 7 04:45:48 PDT 2012
The Department of Computer Science of University of Oxford seeks a
postdoctoral research assistant to work on a 3-year EPSRC project entitled
"New Foundational Structures for Engineering Multi-UAV Protocols".
This interdisciplinary project aims at increasing the safety and
reliability of autonomous systems by means of automated verification
technology. Using scenarios taken from search and rescue missions in
indoor and outdoor environments, the project aims to prove that multiple
unmanned aerial vehicles learn correctly from their environment and
accomplish their tasks according to the mission requirements. The
post-holder will be performing original interdisciplinary research in
collaboration with the Verification and Foundations groups.
The position requires a researcher with knowledge of navigation and
exploration algorithms for collaborative autonomous systems as well as
doctoral degree in Computer Science or a related discipline.
Preference will be given to researchers that have some robotic experience
as the project involves implementing the navigation and sensing algorithms
that will control the UAVs and tests on real flying platforms. Programming
of the platforms is done in C++. Some knowledge in formal verification
methods is preferable.
The researcher will work closely with Dr Sonia Waharte, and is also be
expected to interact with Prof Daniel Kroening and his team working on the
UAV and verification aspects of the project in order to derive
requirements and case studies. This post is a full time appointment, and
is available for up to 3 years. The post has a salary on the University
grade 07, currently £29,249 – £35,938 p.a.
The closing date for applications is 12 noon on Friday 31st August 2012.
For further details see documents below and to apply please visit:
More information about the robotics-worldwide