Research Associate / Senior Research Associate / Research Fellow in Formal Specification, Performance Modelling and Design Verification

Within the School of Computer Science at the University of Bristol (UoB), the Trustworthy Systems Laboratory conducts internationally leading research into specification, verification, and analysis of complex systems from microelectronic designs to robotics and automated driving.

This is an exciting and challenging opportunity for two researchers to join the group to work on advanced performance analysis, design verification and simulation-based testing techniques within an Innovate UK funded research project that is focused on the development of a RISC-V based micro-processor tailored to the needs of the aerospace industry.

Research at UoB contributes to Performance Modelling, the Verification Environment, and Processor Verification in general terms, with a more specific focus for you to either develop and evaluate novel processor performance specification and verification methods, or to develop and evaluate new proof-of-concept AI-based techniques for test generation or test selection to accelerate coverage closure during simulation-based verification of processor designs.

You will investigate suitable techniques for each focus area of our research, implement, apply and assess these within the processor’s verification environment in collaboration with our industrial project partners, publish and disseminate research outcomes, and explore how these techniques can be enhanced and generalised.

• You enjoy the intellectual challenge of verifying complex systems.
• You have significant expertise in one or more areas of research related to the project, including but not limited to microelectronic design verification, simulation-based testing, including test generation, formal specification and verification of complex designs, and computer architecture.
• You have excellent research skills and experience of independent research.
• You enjoy working in a team and have excellent self-motivation.
• You have excellent written and spoken communication skills and an ability to explain and share deep concepts and techniques with colleagues.
• You seek a new intellectual challenge, you strive for excellence in research and, depending on experience, you are ready to take initiative and responsibility.

You hold, or expect to hold, a PhD in either Computer Systems Engineering, Electronic Engineering, Embedded Systems or Microelectronics, or in a closely related field. Alternatively, you have a first degree in one of the above-mentioned subjects and at least three years relevant industrial experience, e.g. as a design verification engineer. 

We highly encourage applications from recent PhD graduates and design verification engineers actively engaged in research within industry.

For informal queries please contact Kerstin Eder, [email protected] , +44(0)1174560076.

To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog:

https://engineeringincludesme.blogs.bristol.ac.uk/

Interviews are anticipated to be held on or around 25-27 March 2024.

We recently launched our strategy  to 2030 tying together our mission, vision and values.

The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential. We want to attract, develop, and retain individuals with different experiences, backgrounds and perspectives – particularly people of colour, LGBT+ and disabled people - because diversity of people and ideas remains integral to our excellence as a global civic institution.

Within the School of Computer Science at the University of Bristol (UoB), the Trustworthy Systems Laboratory conducts internationally leading research into specification, verification, and analysis of complex systems from microelectronic designs to robotics and automated driving.

This is an exciting and challenging opportunity for two researchers to join the group to work on advanced performance analysis, design verification and simulation-based testing techniques within an Innovate UK funded research project that is focused on the development of a RISC-V based micro-processor tailored to the needs of the aerospace industry.

Research at UoB contributes to Performance Modelling, the Verification Environment, and Processor Verification in general terms, with a more specific focus for you to either develop and evaluate novel processor performance specification and verification methods, or to develop and evaluate new proof-of-concept AI-based techniques for test generation or test selection to accelerate coverage closure during simulation-based verification of processor designs.

You will investigate suitable techniques for each focus area of our research, implement, apply and assess these within the processor’s verification environment in collaboration with our industrial project partners, publish and disseminate research outcomes, and explore how these techniques can be enhanced and generalised.

• You enjoy the intellectual challenge of verifying complex systems.
• You have significant expertise in one or more areas of research related to the project, including but not limited to microelectronic design verification, simulation-based testing, including test generation, formal specification and verification of complex designs, and computer architecture.
• You have excellent research skills and experience of independent research.
• You enjoy working in a team and have excellent self-motivation.
• You have excellent written and spoken communication skills and an ability to explain and share deep concepts and techniques with colleagues.
• You seek a new intellectual challenge, you strive for excellence in research and, depending on experience, you are ready to take initiative and responsibility.

You hold, or expect to hold, a PhD in either Computer Systems Engineering, Electronic Engineering, Embedded Systems or Microelectronics, or in a closely related field. Alternatively, you have a first degree in one of the above-mentioned subjects and at least three years relevant industrial experience, e.g. as a design verification engineer. 

We highly encourage applications from recent PhD graduates and design verification engineers actively engaged in research within industry.

For informal queries please contact Kerstin Eder, [email protected] , +44(0)1174560076.

To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog:

https://engineeringincludesme.blogs.bristol.ac.uk/

Interviews are anticipated to be held on or around 25-27 March 2024.

We recently launched our strategy  to 2030 tying together our mission, vision and values.

The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential. We want to attract, develop, and retain individuals with different experiences, backgrounds and perspectives – particularly people of colour, LGBT+ and disabled people - because diversity of people and ideas remains integral to our excellence as a global civic institution.