Project Role : Formal Verification Engineer

Project Role Description : Ensure design correctness using mathematical methods like model checking and equivalence checking, without relying on simulation. Detect corner-case bugs early in the design cycle to improve quality and reduce verification time.

Must have skills : SoC Verification

Good to have skills : NA

Minimum 12 Year(s) Of Experience Is Required

Educational Qualification : 15 years full time education

Summary:

As a Formal Verification Engineer, your day involves applying rigorous mathematical techniques to validate the accuracy and integrity of complex designs. You focus on identifying subtle and rare issues early in the development process, ensuring that the design meets its intended specifications without depending on traditional simulation methods. Your work significantly contributes to enhancing the overall quality and efficiency of the verification cycle by uncovering potential problems that might otherwise go unnoticed until later stages.

Roles & Responsibilities:

Expected to be an SME, collaborate and manage the team to perform.
Responsible for team decisions.
Engage with multiple teams and contribute on key decisions.
Expected to provide solutions to problems that apply across multiple teams.
Lead the development and implementation of formal verification strategies to ensure design robustness.
Mentor junior team members by providing guidance and support in verification methodologies.
Coordinate cross-functional efforts to align verification goals with project timelines and deliverables.

Professional & Technical Skills:

Must To Have Skills: Proficiency in SoC Verification.
Strong knowledge of formal verification techniques including model checking and equivalence checking.
Experience with hardware description languages and verification tools relevant to system-on-chip environments.
Ability to analyze complex design specifications and translate them into formal verification properties.
Familiarity with debugging and troubleshooting verification failures to identify root causes.
Excellent problem-solving skills with a focus on improving verification efficiency and coverage.

Additional Information:

The candidate should have minimum 12 years of experience in SoC Verification.
This position is based at our Bengaluru office.
A 15 years full time education is required.

, 15 years full time education