Research Post in Verification Available at Bristol University

Research Assistant/Associate in Verification of Autonomous Systems – Full-time five year fixed-term contract (click here to see the full job advert and to apply ref. 17211)

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.

Led by Dr Kerstin Eder, who is an expert in Design Verification, RIVERAS aims to develop techniques and methodologies that can be used to design autonomous intelligent systems that are verifiably trustworthy. This enables engineers to ensure that the strict safety requirement necessary for such systems are met, allowing for a more rapid route to market while at the same time building customer confidence. 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 Dr Kerstin Eder and the RIVERAS team to address these objectives, you have a PhD in computer science or closely related field and have started to build up a strong publication record. You have a broad knowledge of design verification and experience with both formal and simulation-based verification methodologies as well as state-of-the-art verification tools. You have excellent written and spoken communication skills and an ability to explain and share deep concepts and techniques with colleagues. You will have excellent programming skills which enable you to quickly integrate software for robotic experiments.

A good understanding of logic, probability theory and numerical optimization and experience with real-time workshop / Simulink coder are useful but can also be picked up during the project. You will enjoy working in a multidisciplinary team and have a good degree of self-motivation.

Interviews are expected to be held on 11 and 12 July 2012.

 

2015-01-22T06:08:50+00:00 28th May, 2012|Hardware Verification, Jobs, Latest Press, Software Testing|
T&VS NEWSLETTER SIGN-UP
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.