Formal Verification Engineer

Formal Verification Engineer

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 15 year(s) of experience is required
Educational Qualification : 15 years full time education

Summary:
As a Formal Verification Engineer, a typical day involves applying rigorous mathematical techniques to validate the accuracy and integrity of complex designs. This role focuses on ensuring that the design meets its specifications by employing advanced verification methods that do not depend on traditional simulation. The engineer works proactively to identify subtle and rare issues early in the development process, thereby enhancing overall product quality and streamlining the verification timeline. Collaboration with various teams to integrate these verification strategies into the design flow is a key aspect of daily activities, contributing to the robustness and reliability of the final product.

Roles & Responsibilities:
- Expected to be a SME with deep knowledge and experience.
- Should have Influencing and Advisory skills.
- 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 methodologies to ensure design accuracy.
- Mentor and guide junior engineers to build verification expertise and promote best practices within the team.

Professional & Technical Skills:
- Must To Have Skills: Proficiency in SoC Verification.
- Strong understanding of formal verification techniques including model checking and equivalence checking.
- Experience in identifying and resolving complex corner-case bugs early in the design cycle.
- Ability to develop verification plans and strategies that integrate with overall design processes.
- Familiarity with hardware description languages and verification tools used in system-on-chip environments.
- Excellent problem-solving skills with a focus on improving verification efficiency and quality.

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