The Senior Formal Verification Engineer at TechBiz Global GmbH is tasked with enhancing the integrity of the vector pipeline through the design of scalable testbenches and formal verification environments. Responsibilities include owning the end-to-end testbench process, verifying complex arithmetic units, managing proof convergence, and ensuring compliance with RISC-V Vector specifications. Candidates should possess a degree in Computer Engineering or a related field, with over five years of re