Formal Verification Engineer

Qualcomm

  • Austin, TX
  • $127,200-190,800 per year
  • Permanent
  • Full-time
  • 15 days ago
Company: Qualcomm Technologies, Inc.Job Area: Engineering Group, Engineering Group
DSP Architecture and DesignGeneral Summary:Qualcomm's Hexagon DSP/Neural Processing Unit (NPU) team is seeking a skilled Senior Formal Verification Engineer to ensure the correctness and reliability of our next-generation cores. You will apply formal methods to verify complex RTL designs, working closely with design and verification teams to deliver high-quality silicon.Key Responsibilities:
  • Develop and execute formal verification strategies for hardware blocks within the Hexagon NPU architecture
  • Use industry-standard formal tools to prove or falsify assertions and analyze counterexamples
  • Debug RTL designs based on formal results and contribute to design improvements
  • Document verification plans, results, and coverage metrics to support sign-off
  • Integrate formal verification into the overall verification flow, complementing simulation-based approaches.
Qualifications:
  • Master's or Doctorate degree in Computer Engineering, Computer Science, or Electrical Engineering
  • 3-5 years of experience in hardware design verification
  • 3-5 years strong hands-on experience with SystemVerilog assertion-based verification techniques
  • Familiarity with UVM and simulation-based verification flows
Preferred Qualifications:
  • Proven expertise in driving formal verification to sign-off for complex RTL
  • Hands-on experience with high-performance processor designs and/or AI accelerator architectures
  • Strong capability in decomposing and partitioning intricate designs to enhance formal verification efficiency
  • Proficiency in scripting languages such as Python or Tcl for automation and tool integration
Minimum Qualifications: • Bachelor's degree in Electrical Engineering, Computer Science, Computer Engineering, or related field and 2+ years of Software Engineering, Electrical Engineering, Systems Engineering, or related work experience.
OR
Master's degree in Electrical Engineering, Computer Science, Computer Engineering, or related field and 1+ year of Software Engineering, Electrical Engineering, Systems Engineering, or related work experience.
OR
PhD in Electrical Engineering, Computer Science, Computer Engineering, or related field.
  • 2+ years of experience with high-performance microprocessor design.
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 or call Qualcomm's toll-free number found . 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).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.EEO Employer: Qualcomm is an equal opportunity employer; all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or any other protected classification.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.Pay range and Other Compensation & Benefits: $127,200.00 - $190,800.00The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted. Even more importantly, please note that salary is only one component of total compensation at Qualcomm. We also offer a competitive annual discretionary bonus program and opportunity for annual RSU grants (employees on sales-incentive plans are not eligible for our annual bonus). In addition, our highly competitive benefits package is designed to support your success at work, at home, and at play. Your recruiter will be happy to discuss all that Qualcomm has to offer - and you can review more details about our US benefits at this .If you would like more information about this role, please contact .

Qualcomm