[robotics-worldwide] Research Assistant in Verification of Autonomous Systems at the University of Bristol

Kerstin Eder Kerstin.Eder at bristol.ac.uk
Mon Sep 3 04:52:52 PDT 2012

Research Assistant in Verification of Autonomous Systems (ref. 17423)

Based in the Faculty of Engineering hosted by the Bristol Robotics 
Laboratory this is an exciting and challenging opportunity to join a 
multi-disciplinary research team working on a new project entitled 
"Robust Integrated Verification of Autonomous Systems (RIVERAS)" funded 
by the Engineering and Physical Sciences Research Council.

You will be developing novel techniques and methodologies that can be 
used to design autonomous intelligent systems that are verifiably 
trustworthy. This requires research at the leading edge of design 
verification, formal specification and autonomous system design, 
advancing and integrating the most promising techniques to arrive at a 
design-for-verification methodology that enables engineers to ensure 
that the strict safety requirement necessary for such systems are met. 
Target application areas include safety critical systems such as robotic 
inspections of a nuclear power plant and space explorations e.g. on Mars 
by a rover or a robotic aircraft, but also the next generation of clever 
consumer products with embedded intelligence and adaptability e.g. toys, 
gadgets and household appliances.

Working in close collaboration with the RIVERAS team to address these 
research challenges, you have a PhD in either Computer Science, 
Artificial Intelligence, Optimization and Control for Autonomous 
Systems, Robotics or a closely related field and have started to build 
up a publication record. Knowledge of computer-aided verification and 
experience with formal or test-based verification methodologies as well 
as state-of-the-art verification tools is an advantage but by no means a 
must. Most of all, you seek an intellectual challenge, are keen to learn 
and strive for excellence in research. You have excellent written and 
spoken communication skills and an ability to explain and share deep 
concepts and techniques with colleagues. You must have strong 
programming skills that enable you to quickly integrate software for 
robotic experiments. You enjoy working in a multidisciplinary team and 
have excellent self-motivation. We strongly encourage fresh PhD 
graduates to apply.

The closing date for applications is 9.00am, 04 October 2012.
Interviews are expected to be held towards the end of October 2012 with 
a start date as soon as possible but at the latest by January 2013.

Further information can be found online at: 

Dr Kerstin Eder
Reader in Design Automation and Verification
Department of Computer Science
University of Bristol
Merchant Venturers Building, Woodland Road
Bristol BS8 1UB, U.K.

Tel:   +44 (0)117 954 5146
Fax:   +44 (0)117 954 5208
Email: Kerstin.Eder at bristol.ac.uk
URL: http://www.cs.bris.ac.uk/~eder/

More information about the robotics-worldwide mailing list