Formal Verification Engineer, Staff

Qualcomm; Bengaluru; On-site; INR 1,200,000 - 2,000,000; Full time

Job summary

Qualcomm in Bengaluru is looking for a Formal Verification Engineer with 6-8 years of experience. This role involves driving formal verification of complex design blocks and collaborating with architecture, design, and systems teams to ensure high verification quality.

The ideal candidate will have a strong foundation in formal verification methodologies, excellent scripting skills (Python preferred), and the ability to innovate and deliver results. The position supports an accessible workplace for individuals with disabilities.

Qualifications

• 6+ years of hands-on experience in Formal Verification.
• Strong understanding of formal concepts and proof strategies.
• Proficiency with formal tools and scripting skills in Python.

Responsibilities

• Drive formal verification of complex design blocks.
• Collaborate with global architecture and design teams.
• Develop automation scripts to enhance FV flows.

Skills

Formal Verification

Python scripting

Strong analytical skills

Collaboration skills

Education

Bachelor's degree in Computer Science or related field

Master's degree in Computer Science or related field

PhD in Computer Science or related field

Tools

Jasper

VC Formal

Questa Formal

Job description

Company

Qualcomm India Private Limited

Job Area

Engineering Group, Engineering Group > Hardware Engineering

General Summary

Job Description

We are seeking a highly motivated Formal Verification Engineer with 6-8 years of experience to join our GCAD Formal team. The ideal candidate will have strong formal verification fundamentals, hands‑on experience with formal tools, excellent analytical and scripting skills, and the ability to drive innovative verification methodologies. This role provides the opportunity to collaborate across global architecture, design, and systems teams to influence and strengthen verification sign‑off quality.

Minimum Qualifications

• Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience.
• Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience.
• PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.

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

• 6+ 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).

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 [e-mail] or call Qualcomm's toll‑free number. 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.