The Senior Formal Verification Engineer at TechBiz Global GmbH will play a crucial role in ensuring the integrity and performance of the vector pipeline through the design of formal testbenches and verification strategies. This position involves key responsibilities such as managing end-to-end testbench ownership, verifying complex arithmetic units, and collaborating closely with simulation engineers. Candidates should have extensive experience in hardware verification, particularly with formal