Qualcomm
Join to apply for the
Formal Verification Engineer
role at
Qualcomm Join to apply for the
Formal Verification Engineer
role at
Qualcomm Job Area
Engineering Group, Engineering Group > DSP Architecture and Design Company
Qualcomm Technologies, Inc.
Job Area
Engineering Group, Engineering Group > DSP Architecture and Design
General 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 disability-accomodations@qualcomm.com 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).
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.00
The 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 link.
If you would like more information about this role, please contact Qualcomm Careers. Seniority level
Seniority level Not Applicable Employment type
Employment type Full-time Job function
Job function Other Industries Telecommunications Referrals increase your chances of interviewing at Qualcomm by 2x Get notified about new Validation Engineer jobs in
Austin, TX . Austin, TX $115,000.00-$166,000.00 17 hours ago Systems Validation and Verification Engineer
Austin, Texas Metropolitan Area 4 days ago Quality Engineer, Electrode Manufacturing
Austin, TX $123,760.00-$185,640.00 1 week ago Austin, TX $90,000.00-$95,000.00 1 month ago Operations and Customer Quality Engineer III
Austin, TX $96,000.00-$132,000.00 1 week ago Hardware Validation Engineer – Infrastructure & Tooling
Austin, TX $91,840.00-$137,760.00 1 week ago Operations and Customer Quality Engineer III
Austin, TX $96,000.00-$132,000.00 2 weeks ago Austin, TX $127,360.00-$191,040.00 7 hours ago Austin, TX $97,000.00-$121,000.00 3 weeks ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr
Formal Verification Engineer
role at
Qualcomm Join to apply for the
Formal Verification Engineer
role at
Qualcomm Job Area
Engineering Group, Engineering Group > DSP Architecture and Design Company
Qualcomm Technologies, Inc.
Job Area
Engineering Group, Engineering Group > DSP Architecture and Design
General 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 disability-accomodations@qualcomm.com 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).
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.00
The 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 link.
If you would like more information about this role, please contact Qualcomm Careers. Seniority level
Seniority level Not Applicable Employment type
Employment type Full-time Job function
Job function Other Industries Telecommunications Referrals increase your chances of interviewing at Qualcomm by 2x Get notified about new Validation Engineer jobs in
Austin, TX . Austin, TX $115,000.00-$166,000.00 17 hours ago Systems Validation and Verification Engineer
Austin, Texas Metropolitan Area 4 days ago Quality Engineer, Electrode Manufacturing
Austin, TX $123,760.00-$185,640.00 1 week ago Austin, TX $90,000.00-$95,000.00 1 month ago Operations and Customer Quality Engineer III
Austin, TX $96,000.00-$132,000.00 1 week ago Hardware Validation Engineer – Infrastructure & Tooling
Austin, TX $91,840.00-$137,760.00 1 week ago Operations and Customer Quality Engineer III
Austin, TX $96,000.00-$132,000.00 2 weeks ago Austin, TX $127,360.00-$191,040.00 7 hours ago Austin, TX $97,000.00-$121,000.00 3 weeks ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr