What We Need to See: BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics. 15+ years of hands-on experience in Formal Verification within the semiconductor industry. Proven track record of formal verification execution Deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies. Strong analytical, debugging, and problem-solving skills. Excellent communication and collaboration skills. Ways to Stand Out from the Crowd: A true passion for formal verification, with a desire to innovate and elevate the practice within a mature and advanced formal verification environment. A visionary mindset, eager to push the boundaries of formal adoption and impact across architecture, design, and methodology. Strong desire to influence product development by using formal insights to drive architectural and design decisions. Proven ability to work collaboratively in a team-oriented culture while bringing thought leadership to the formal domain.
