The Head of Formal Verification at Lubis Eda will lead the direction of the formal verification business and play a crucial role in shaping the organization's future. This position entails owning the consulting business roadmap, engaging with key accounts, and overseeing the development of the team. Candidates should possess extensive experience in semiconductor verification and leadership, with a strong understanding of formal methods.