Staff Formal Verification Engineer

Company Overview

Qualcomm India Private Limited is seeking an experienced Formal Verification Lead Engineer to enhance their GCAD Formal team. This position is embedded within the Engineering Group, focusing on hardware engineering disciplines.

Role Summary

The role requires a seasoned professional with a strong foundation in formal verification and hands-on expertise with formal verification tools. The candidate will be responsible for advancing verification methodologies and collaborating globally with architecture, design, and systems teams to improve verification quality.

Key Duties

• Lead complex design block formal verification using advanced Formal Apps and robust convergence methods ensuring thorough and reliable verification sign-off.
• Collaborate effectively with global architects, designers, and system teams to meet verification objectives.
• Evaluate and refine formal verification configurations, proofs, constraints, and abstractions alongside design and design verification teams.
• Interface with EDA tool vendors and adopt cutting-edge design verification methodologies to boost sign-off assurance.
• Create and maintain automation scripts (primarily in Python) to improve formal verification workflows efficiency and scalability.
• Analyze and resolve intricate formal verification challenges by devising effective verification approaches.

Qualifications and Experience

• Bachelor's degree in Computer Science, Electrical/Electronics Engineering, or related field with at least 4 years of relevant hardware engineering experience, OR
• Master's degree with a minimum of 3 years of relevant hardware-related experience, OR
• PhD with at least 2 years of relevant experience in hardware engineering.

Skills and Expertise

• Minimum of 4 to 6 years hands-on formal verification experience.
• Strong command of formal verification concepts, including proof techniques and abstraction methodologies.
• Proficient with formal verification tools such as Jasper, VC Formal, Questa Formal, among others.
• Knowledge working with property-based formal verification (SVA) is advantageous.
• Advanced scripting abilities, with a strong preference for Python proficiency.
• Excellent analytical thinking and problem-solving skills.
• Effective communication skills with the capability to engage cross-functionally with international teams.
• Proactive attitude toward learning, innovation, and delivering superior quality outcomes.

Additional Information

Qualcomm is committed to equal employment opportunities and practices accessible hiring processes for individuals with disabilities. Reasonable accommodations during recruitment are available upon request. The company upholds strict confidentiality policies concerning proprietary data and expects full compliance from its employees. Qualcomm discourages unsolicited resumes from staffing agencies or representatives and directs all applicants to use official careers channels.