Formal Verification Engineer, Staff Bangalore, Karnataka, India Hardware Engineering Posted 15 [...]

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

Job summary

Qualcomm India Private Limited is seeking a Formal Verification Lead Engineer in Bangalore with 8+ years of experience to strengthen the GCAD Formal team. You will drive exhaustive sign-off using formal apps, collaborate with global architecture and design teams, and refine verification setups with DV teams.

The role emphasizes Python scripting, advanced FV methodologies, and strong problem-solving ability, with opportunities to influence sign-off quality across programs.

Qualifications

• Bachelor's degree in CS/EE or related field with 4+ years hardware experience.
• Master's degree with 3+ years hardware experience.
• PhD with 2+ years hardware experience.

Responsibilities

• Drive formal verification of complex design blocks with advanced apps.
• Collaborate with worldwide teams to meet verification goals.
• Review and refine setups, constraints, and abstractions with DV teams.
• Develop automation scripts (Python preferred) for FV flows.
• Analyze challenging formal problems and propose strategies.

Skills

Formal verification

Python scripting

Jasper Formal

VC Formal

Questa Formal

Analytical thinking

Education

Bachelor's in CS/EE

Master's in CS/EE

PhD in CS/EE

Tools

Jasper

Questa Formal

VC Formal

Job description

## Formal Verification Engineer, StaffBangalore, Karnataka, IndiaApply NowFind out how well you match with this jobJob ID3093892## **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 Lead Engineer with 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. OR Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience. OR PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.**Key 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.* **Minimum Qualifications*** 4–6 years of hands-on experience in Formal Verification.Strong understanding of formal concepts, proof strategies, and abstraction techniques.* Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or related field* 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.**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 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.**To all Staffing and Recruiting Agencies**: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.If you would like more information about this role, please contact Qualcomm Careers.