Qualcomm · 4 months ago
Formal Verification Engineer
Austin, TX
Full-time
Onsite
Mid, Senior Level
$127K/yr - $191K/yr
3+ years expQualcomm Technologies, Inc. is seeking a skilled Senior Formal Verification Engineer to ensure the correctness and reliability of their next-generation cores. The role involves applying formal methods to verify complex RTL designs and working closely with design and verification teams to deliver high-quality silicon.
Artificial Intelligence (AI)Generative AISoftwareTelecommunicationsWireless
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
Qualification
Required
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
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
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
PhD in Electrical Engineering, Computer Science, Computer Engineering, or related field
2+ years of experience with high-performance microprocessor design
Preferred
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
Benefits
Competitive annual discretionary bonus program
Opportunity for annual RSU grants
Highly competitive benefits package
Company
Qualcomm
Qualcomm designs wireless technologies and semiconductors that power connectivity, communication, and smart devices.
10001+ employees
H1B Sponsorship
Qualcomm has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2013)
2024 (1910)
2023 (3216)
2022 (2885)
2021 (2104)
2020 (1181)
Funding
Current Stage
Public CompanyTotal Funding
$3.5M1991-12-20IPO
1988-01-01Undisclosed· $3.5M
Leadership Team
Cristiano Amon
President and Chief Executive Officer
I
Isaac Eteminan
CEO
Recent News
KoreaTechToday - Korea's Leading Tech and Startup Media Platform
2026-01-13
BiometricUpdate.com
2026-01-12
Company data provided by crunchbase