Principal Design & Verification Engineer - Datapath & Algorithms, Cambridgeshire

Newly created role within an R&D team at a major Semiconductor company - who have offices in Cambridge.

I am looking to speaking with senior / principal level engineers who have complex experience in datapath for complex processor computations.

Attractive salary and package is available for the right qualified engineers...

Applicants MUST have an inquisitive and problem solving maths brain. You will be building new structures to solve complex problems - not just maintaining existing products.

This will be a varied and challenging role. Its a senior level appointment, so you must be able to lead / manage / steer critical, high-value projects.

...

The ideal candidate will have knowledge of some or all of the following skills:

• Floating point unit - algorithms - FPU
• Deep understanding of APU / CPU / GPU / RISC-V environments
• Arithmetic logic units (ALUs)
• Computer arithmetic / computer science
• HPC - high performance computing applications
• FMA or SIMD algorithms
• Registers - flip-flops - data, address, shift, control
• Bus communication protocols
• C / C++ modelling
• Performance / modelling
• AI accelerators - VPU - vector, matrix, scalar units etc.
• Matrix multiplication
• Mathematical / statistical computations
• Datapaths in ML/AI accelerators
• Datapath valdiation / formal verification
• Datapath abstraction - FSMD etc.
• High-performance compute
• System architecture
• Processor architecture
• Emulation / validation

Formal verification - SVA - system verilog assertions

Compute architecture

Project leadership