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