2266 jobs - 116 added today
Recruiting? Call us on 01772 639042
Email me jobs relevant to my job search
20 days ago
only 8 days until close

Graduate mathematical hardware verification engineer


Imagination Technologies
Location: Kings Langley
Job type: Permanent
Sector: Graduate
Category: Graduate Jobs
Apply on company site
Select how you want to share:
View similar
Graduate mathematical hardware verification engineer

Job no: 497402 - Work type: Early Career - Location: Kings Langley, UK



Who we are

At Imagination, we love innovating. We spend our time creating the graphics and AI chips that are at the core of your favourite electronic products. We have a no-compromise approach to making our technology as high performance and power-efficient as possible, all while being squeezed into the smallest space possible.

It’s this relentless drive to push the boundaries of what’s possible that has led to Imagination powering more than 10 billion of the world’s most iconic electronic devices, from smartphones to smart TVs, from drones to self-driving cars.

We need your skills to help us continue to deliver technology that will impress the industry and our customers alike, ensuring that people everywhere can enjoy smarter and faster tech than ever before.

What you’ll be doing

Working in the Datapath team, a unique applied research team with a remit both to research and to deliver high performing hardware, you will be a vital part of the development of innovative arithmetic components. You will contribute to projects ranging from geometric calculations for real-time mobile graphics, to heavily optimised hardware for neural network and AI applications. Depending on skills and interest, there may be opportunities to contribute to hardware design as well.

No prior knowledge of digital hardware is required. Full training will be provided on both industry tools and cutting edge techniques developed in-house, and you will be creating your own original ideas to push out the boundary of what can be achieved.

You will:

* Work with a team of mathematically focused engineers to formally prove that arithmetic hardware components function correctly.

* Allow us to release complex designs with confidence by developing new and innovative techniques and tools for formally proving the correctness of hardware.

* Analyse systems of arithmetic components and advise on error and performance trade-offs.

* Efficiently orchestrate complex proofs using a range of leading industry tools deployed on a powerful compute grid.

* Automate common proof tasks and create verification flows using various programming languages.

Who you are

Committed to making your customers, stakeholders and colleagues successful, you’re an excellent communicator, listener and collaborator who builds trusted partnerships by delivering what you say, when you say. You’re curious, solutions orientated and a world-class problem solver who constantly seeks opportunities to innovate and achieve the best possible outcome to the highest imaginable standard.

You have:

* A good Master’s degree or PhD in a subject with a strong mathematical focus.

* Experience writing your own rigorous mathematical proofs.

* Experience planning and conducting self-directed research and project work.

* The ability to communicate complex technical information concisely and unambiguously both verbally and in writing.

* Tenacity and the ability to work and communicate with others to get things done.

* Attention to detail, a critical mind with the ability to think both abstractly and concretely.

You might also have:

* Experience with computer assisted proof via industry tools or automated theorem provers.

* Programming experience, especially with C(++), Python or shell.

* Familiarity with Unix-based systems.

* Knowledge of digital hardware and digital design.

Who do you want to be?

Do you dare to think big? Do you want to change the status quo and speak up when you see how there’s a better way of doing things? We listen, we’re supportive and we’re open to new ideas. Whatever it takes to make an impact, you’ll be respected and helped along the way.

We will value you

At Imagination, clear and shared values are important to us. They are the foundation on which everything else is built. We have five core values that underpin our culture and the way we work together, both as colleagues and as business partners. We believe in these values and are committed to putting them at the heart of everything we do.

Our values are:

* Customer-first

* Collaborative

* Committed

* Innovative

* Straightforward

For more information on what these values mean to us visit imaginationtech.com/company

Why not join us?

Just click the ‘Apply now’ button to send in your CV.

Diversity and inclusion

Our headquarters are based in the UK, but we have a global outlook. We have office locations around the world to attract the most talented technical minds and to support key regional markets in the best way possible. Across our divisions, we employ specialists from over 40 nationalities who are passionate about their craft and the industry we’re in.

We are committed to providing employment opportunities regardless of age, disability, gender, marriage and civil partnership, pregnancy and maternity, race, religion or belief, sex, sexual orientation, or any other protected characteristic by law. If there are preparations we can make to help ensure you have a positive interview experience, please let us know.

Hybrid Working Model

Imagination Technologies operates a hybrid working model globally that allows our employees to split their time between attending the workplace and working remotely.
Graduate mathematical hardware verification engineer

Job no: 497402 - Work type: Early Career - Location: Kings Langley, UK



Who we are

At Imagination, we love innovating. We spend our time creating the graphics and AI chips that are at the core of your favourite electronic products. We have a no-compromise approach to making our technology as high performance and power-efficient as possible, all while being squeezed into the smallest space possible.

It’s this relentless drive to push the boundaries of what’s possible that has led to Imagination powering more than 10 billion of the world’s most iconic electronic devices, from smartphones to smart TVs, from drones to self-driving cars.

We need your skills to help us continue to deliver technology that will impress the industry and our customers alike, ensuring that people everywhere can enjoy smarter and faster tech than ever before.

What you’ll be doing

Working in the Datapath team, a unique applied research team with a remit both to research and to deliver high performing hardware, you will be a vital part of the development of innovative arithmetic components. You will contribute to projects ranging from geometric calculations for real-time mobile graphics, to heavily optimised hardware for neural network and AI applications. Depending on skills and interest, there may be opportunities to contribute to hardware design as well.

No prior knowledge of digital hardware is required. Full training will be provided on both industry tools and cutting edge techniques developed in-house, and you will be creating your own original ideas to push out the boundary of what can be achieved.

You will:

* Work with a team of mathematically focused engineers to formally prove that arithmetic hardware components function correctly.

* Allow us to release complex designs with confidence by developing new and innovative techniques and tools for formally proving the correctness of hardware.

* Analyse systems of arithmetic components and advise on error and performance trade-offs.

* Efficiently orchestrate complex proofs using a range of leading industry tools deployed on a powerful compute grid.

* Automate common proof tasks and create verification flows using various programming languages.

Who you are

Committed to making your customers, stakeholders and colleagues successful, you’re an excellent communicator, listener and collaborator who builds trusted partnerships by delivering what you say, when you say. You’re curious, solutions orientated and a world-class problem solver who constantly seeks opportunities to innovate and achieve the best possible outcome to the highest imaginable standard.

You have:

* A good Master’s degree or PhD in a subject with a strong mathematical focus.

* Experience writing your own rigorous mathematical proofs.

* Experience planning and conducting self-directed research and project work.

* The ability to communicate complex technical information concisely and unambiguously both verbally and in writing.

* Tenacity and the ability to work and communicate with others to get things done.

* Attention to detail, a critical mind with the ability to think both abstractly and concretely.

You might also have:

* Experience with computer assisted proof via industry tools or automated theorem provers.

* Programming experience, especially with C(++), Python or shell.

* Familiarity with Unix-based systems.

* Knowledge of digital hardware and digital design.

Who do you want to be?

Do you dare to think big? Do you want to change the status quo and speak up when you see how there’s a better way of doing things? We listen, we’re supportive and we’re open to new ideas. Whatever it takes to make an impact, you’ll be respected and helped along the way.

We will value you

At Imagination, clear and shared values are important to us. They are the foundation on which everything else is built. We have five core values that underpin our culture and the way we work together, both as colleagues and as business partners. We believe in these values and are committed to putting them at the heart of everything we do.

Our values are:

* Customer-first

* Collaborative

* Committed

* Innovative

* Straightforward

For more information on what these values mean to us visit imaginationtech.com/company

Why not join us?

Just click the ‘Apply now’ button to send in your CV.

Diversity and inclusion

Our headquarters are based in the UK, but we have a global outlook. We have office locations around the world to attract the most talented technical minds and to support key regional markets in the best way possible. Across our divisions, we employ specialists from over 40 nationalities who are passionate about their craft and the industry we’re in.

We are committed to providing employment opportunities regardless of age, disability, gender, marriage and civil partnership, pregnancy and maternity, race, religion or belief, sex, sexual orientation, or any other protected characteristic by law. If there are preparations we can make to help ensure you have a positive interview experience, please let us know.

Hybrid Working Model

Imagination Technologies operates a hybrid working model globally that allows our employees to split their time between attending the workplace and working remotely.
Apply on company site

Email me jobs relevant to my job search

  Back to the top