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