[robotics-worldwide] [jobs] Postdoc Position in "Trustworthy Robotic Assistants" (ref ACAD101059)

Kerstin Eder Kerstin.Eder at bristol.ac.uk
Fri Sep 5 08:33:33 PDT 2014


Postdoc Position in "Trustworthy Robotic Assistants" (ref ACAD101059)

The Computer Science Department at the University of Bristol invites 
applications for a Post Doctoral Researcher position in a leading edge 
research project towards “Trustworthy Robotic Assistants (RoboSafe)” 
funded by the Engineering and Physical Sciences Research Council under 
grant number EP/K006320/1.

Research is focused on developing methodologies and novel techniques 
that support verification, validation and testing of robots involved in 
human-robot interaction. The research programme is driven by and applied 
to real human-robot interaction scenarios; one of these is hosted at the 
Bristol Robotics Laboratory (BRL), the largest centre for robotics in 
the UK with an international reputation for excellence in human-robot 
interaction research. The RoboSafe project offers a great opportunity to 
further enhance your research expertise, to gain practical experience 
with human-assistive robots and the safety requirements in this area, to 
develop state-of-the-art model-based analysis and testing techniques, 
and to benefit from the knowledge of a team of internationally 
recognized experts.

You will be working in close collaboration with Dr Kerstin Eder and Dr 
Anthony Pipe at the BRL, within the “Verification and Validation for 
Safety in Robots” research theme (www.brl.ac.uk/vv). Your research will 
build upon our extensive expertise in advanced verification techniques, 
including formal verification and simulation-based approaches. Depending 
on your experience, the role offers considerable intellectual freedom 
and opportunities for you to take significant initiative, leadership and 
responsibility towards realizing the research objectives of the RoboSafe 
project. The main focus of your research will be on linking formal 
methods with state-of-the-art simulation to develop advanced model-based 
analysis and simulation-based testing techniques that help identify 
safety-critical corner cases in human-robot interaction.

You hold, or expect to hold, a PhD in Computer Science or Robotics, or 
in a closely related field; alternatively, you will have a first degree 
in one of the above mentioned subjects and at least 3 years experience 
in a research role in industry. You have started to build up a strong 
publication record. You must have excellent programming skills and are 
able to quickly integrate software for robotic experiments. It would be 
an advantage to have a strong background in at least one of the 
following areas: safety in human-robot interaction, computer-aided 
verification, robotic simulation-based testing, and formal methods, 
including formal modelling, formal specification and verification. You 
have excellent written and spoken communication skills and an ability to 
explain and share deep concepts and techniques with colleagues. You 
enjoy working in a team and have strong self-motivation. Most of all, 
you seek an intellectual challenge, are keen to learn, ready to take 
initiative and responsibility, and strive for excellence in research. 
Fresh PhD graduates are very strongly encouraged to apply.

This post is offered as a fixed term contract either full or part time 
until 22 October 2016.

It is anticipated that interviews will be held in mid-October 2014.

For further information and to discuss details please contact the 
Principal Investigator, Dr Kerstin Eder, on 0044 117 9545146 or by email 
Kerstin.Eder at bristol.ac.uk.

Appointment may be either on a fixed term or a permanent contract 
depending on the extent of previous relevant research experience, in 
line with the University’s Fixed Term Contract Agreement. Further 
information can be found at www.bristol.ac.uk/hr/ftc/

Direct link: 
http://www.bris.ac.uk/jobs/find/details.html?nPostingID=2429&nPostingTargetID=8584&option=28&sort=DESC&respnr=1&ID=Q50FK026203F3VBQBV7V77V83&JobNum=acad101059&Resultsperpage=10&lg=UK&mask=uobext
-------------------------------------------------------------------
Dr Kerstin Eder
Reader in Design Automation and Verification
Verification & Validation for Safety in Robots Theme Leader at BRL
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/ and http://www.brl.ac.uk/vv
-------------------------------------------------------------------



More information about the robotics-worldwide mailing list