Hireroo is looking to expand their hardware verification team by hiring a Senior Formal Verification Engineer in Barcelona, Spain. This hybrid role will involve enhancing the formal verification environment for complex processor development, ensuring architectural correctness, and collaborating with key verification teams. Ideal candidates should possess strong experience in formal verification, especially in CPU or GPU contexts, and hold a technical degree. The position offers adaptable working hours, a comprehensive benefits package, and myriad growth opportunities within the company. #J-18808-Ljbffr