Formal Verification CAD Engineer

QUALCOMM, Inc.; Bengaluru; On-site; INR 1,800,000 - 2,400,000; Full time

Job summary

Qualcomm India Private Limited in Bengaluru is seeking a dedicated Formal Verification Engineer to drive verification of complex design blocks using advanced tools and robust strategies. You will collaborate with global architecture, design, and DV teams to achieve sign‑off quality.

The role emphasizes Python-based automation and power-aware verification expertise. The candidate should have 2+ years of hands-on FV experience, strong scripting skills, and the ability to work with international

Qualifications

• 2+ years of hands-on experience in Formal Verification.
• Strong understanding of formal concepts, proof strategies, and abstraction techniques.
• Proficiency with formal tools such as Jasper, VC Formal, and Questa Formal.
• Knowledge of property-based FV (SVA) is a plus.
• Excellent Python scripting skills.
• Clear communication and collaboration with global teams.
• Knowledge of low-power verification concepts (power-aware FV) is a plus.

Responsibilities

• Drive formal verification of complex design blocks using advanced Formal Apps and robust convergence strategies to achieve exhaustive and high‑confidence sign‑off.
• Collaborate with worldwide architecture, design, and systems teams to achieve verification goals.
• Review and refine formal setups, proofs, constraints, and abstractions with design/DV teams.
• Engage with EDA vendors and evaluate advanced DV methodologies to improve sign‑off quality.
• Develop automation scripts (Python preferred) to enhance efficiency and scalability of FV flows.
• Analyze challenging formal problems and propose effective verification strategies.
• Low power formal methodology.

Skills

Formal verification

Python scripting

Collaborative work

Analytical thinking

Education

Bachelor's degree in CS/EE

Tools

Jasper Formal

VC Formal

Questa Formal

SVA (SystemVerilog Assertions)

Job description

Company:

Qualcomm India Private Limited

Job Area:

Engineering Group, Engineering Group > Hardware Engineering

General Summary:

Job Description

Job Description

What You Will Be Doing

• Drive formal verification of complex design blocks using advanced Formal Apps and robust convergence strategies to achieve exhaustive and high‑confidence sign‑off.
• Collaborate with worldwide architecture, design, and systems teams to achieve verification goals.
• Review and refine formal setups, proofs, constraints, and abstractions with design/DV teams.
• Engage with EDA vendors and evaluate advanced DV methodologies to improve sign‑off quality.
• Develop automation scripts (Python preferred) to enhance efficiency and scalability of FV flows.
• Analyze challenging formal problems and propose effective verification strategies.
• Low power formal methodology

What We Need to See

• 2+ years of hands‑on experience in Formal Verification.
• Strong understanding of formal concepts, proof strategies, and abstraction techniques.
• Proficiency with formal tools (Jasper, VC Formal, Questa Formal, etc.).
• Working knowledge of property‑based FV (SVA ) is a plus.
• Excellent scripting skills (Python strongly preferred).
• Strong analytical and problem‑solving abilities.
• Clear communication skills and ability to collaborate with global teams.
• A strong willingness to learn, innovate, and deliver high‑quality results.
• Low‑power knowledge is a plus (e.g., power‑aware verification concepts, UPF/CPF, isolation/retention, power/clock gating, power‑aware apps, and basic power‑intent debugging).

Minimum Qualifications:

• Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field.

Applicants: Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e‑mail disability‑[e-mail] or call Qualcomm's toll‑free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.