The Head of Formal Verification at Lubis Eda will lead the formal verification business, ensuring strategic direction and customer engagement. This role involves managing Verification Managers, enhancing organizational structure, and maintaining quality under commercial pressures. The ideal candidate should have over 12 years of experience in semiconductor verification, along with leadership experience.