Research Assistant in Verification of Autonomous Systems at the University
of Bristol UK
A Research Assistant postion is available for immediate start in a new
challenging research project that aims to lay the foundations for a
design-for-verification methodology for autonomous systems. This project
brings together expertise in verification, formal specification, and
autonomous system design. It offers a great opportunity to advance the
state of the art, to cross-fertilize between these disciplines and to widen
the scope of your research in collaboration with leading experts at the
University of Bristol and at the Bristol Robotics Laboratory.
Based in the Faculty of Engineering hosted by the Bristol Robotics
Laboratory (www.brl.ac.uk) 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 in the UK.
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.
Alternatively, you have a first degree in one of these subjects and
substantial experience in a position in industry. 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 salary range, depending on experience, is £30,122 - £38,140.
The closing date for applications is 9.00am, 22 October 2012.
Interviews are expected to be held towards the beginning of November 2012
with a start date as soon as possible but at the latest by January 2013.
Further information on how to apply can be found online at:
http://www.bristol.ac.uk/jobs/find/details.html?nPostingId=250&nPostingTargetId=439&id=Q50FK026203F3VBQBV7V77V83&lg=UK
Informal enquiries can be made to Dr Kerstin Eder by email
([email protected]) or phone (+44 117 9545146).
_______________________________________________
uai mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
