Advance design integrity by employing mathematical methodologies like model checking and equivalence checking, bypassing the need for traditional simulation. This role is pivotal in uncovering intricate corner-case defects early in the development lifecycle, thereby enhancing product quality and optimizing verification timelines. The engineer will be instrumental in ensuring the robustness of designs through rigorous formal analysis.

This position offers an opportunity to become a subject matter expert and contribute significantly to team discussions and problem-solving initiatives. Collaboration with diverse teams will be key to gathering requirements and refining design specifications. Developing and maintaining sophisticated formal verification environments will be a core responsibility, ensuring thorough coverage of all design scenarios.

- Independently drive verification tasks and emerge as a subject matter expert. - Actively participate and contribute valuable insights during team discussions. - Proactively provide effective solutions to complex technical challenges. - Foster collaboration with cross-functional teams to define requirements and offer feedback on design specifications. - Construct and maintain robust formal verification frameworks for comprehensive scenario coverage.

A minimum of 3 years of dedicated experience in SoC Verification is essential for this role. Candidates are expected to possess a strong command of formal verification techniques and associated tools. Proficiency in model checking and equivalence checking methodologies is a must. Familiarity with hardware description languages, such as Verilog or VHDL, is highly desirable. The ability to meticulously analyze complex designs and pinpoint potential verification issues is critical for success.

Full-time education spanning 15 years is a prerequisite for this position. The role requires a proactive approach to ensuring design correctness through advanced mathematical methods, significantly contributing to design quality and reducing verification cycles.