Principal Engineer - Formal, Datapath, Algorithms

A newly created role within an R&D team at a major Semiconductor company - who have offices in Cambridge. I am looking to speak 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 abstratcion - FSMD etc. High-performance compute System architecture Processor architecture Emulation / validation