The Head of Formal Verification at Lubis Eda will lead the direction of the formal verification business, reporting directly to the CEO and being part of the executive leadership team. This role involves shaping the roadmap for consulting, managing key customer relationships, and overseeing the organization’s structure and standards. Candidates should have extensive experience in semiconductor verification and leadership, with a strong understanding of formal methods.