[robotics-worldwide] Research Assistant in Verification of Autonomous Systems at the University of Bristol
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
More information about the robotics-worldwide