Senior CPU Formal Verification Engineer
Qualcomm
Qualcomm Technologies, Inc. is seeking a senior verification engineer to join the CPU group in Santa Clara.
You will sharpen formal verification skills on high‑end processor designs and drive end‑to‑end verification from architecture to micro-architecture. The role requires strong background in formal methods, model checking, programming (C++, Python, TCL) and experience with tools like JasperGold and VC-Formal.
#J-18808-LjbffrVacancy posted 15 hours ago
Similar jobs that could be interesting for youBased on the Senior CPU Formal Verification Engineer in Santa Clara, CA vacancy
- ...Qualcomm Technologies, Inc. is seeking a senior verification engineer to advance formal methods for CPU design and verification. You will work with a world-class CPU team to formalize architecture-to-micro-architecture refinements and build end-to-end verification environments...Senior
MaC VC
Santa Clara, CA2 days ago $136k - $218.5k
...and see how you can make a lasting impact on the world.As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of... ...Mathematics with 5+ years of experience.Understanding of GPU/CPU architectures and engineering work flows.Experience with...SeniorFull timeNvidia
Santa Clara, CA6 days ago$147.9k - $221.9k
...Company Qualcomm Technologies, Inc. Job Area Engineering Group, Engineering Group CPU Engineering General Summary Are you... ...team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the...SuggestedWork experience placementWork from homeMaC VC
Santa Clara, CA2 days ago$200k - $300k
...Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens... ...systems. ~ Track record solving hard formal problems—CPU/processor DV, floating-point/arithmetic datapath, or vector...SeniorFlexible hoursVelaura AI, Inc.
Santa Clara, CA8 hours ago- ...Clara, CA invites an experienced CPU Logic Equivalence Check (LEC) Engineer to own the sign-off of Apple’s high... ...projects. You will develop and maintain verification flows and ensure rigorous... ...degree and 10+ years in RTL‑to‑gate formal verification with Conformal or Formality...SeniorRelocation
- ...Description: About the Role SiFive is looking for a Senior Design Verification Engineer to drive verification of high-performance CPU core functionality, with meaningful scope in... ...‑sensitive CPU behavior. Familiarity with formal verification, emulation, or acceleration for...Senior
SiFive
Santa Clara, CA2 days ago $220.92k - $311.89k
...s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal...SeniorFull timeInternshipLocal areaImmediate startShift workIntel
Santa Clara, CA8 days ago- ...ChipAgents, a forefront AI-enabled semiconductor verification company, seeks a Formal Verification Engineer to join our core product and research team. You will develop formal properties and testplans, build abstractions, and drive convergence with advanced formal tools...Senior
ScOp Venture Capital LLC.
San Jose, CA4 days ago - ...Velaura AI, Inc. seeks a Senior Formal Verification Engineer to define, own, and scale the formal verification program for its next-generation Physical AI SoC. You will prove correctness exhaustively, tame state-space explosion, and collaborate with architects, RTL, and...SeniorFlexible hours
Velaura AI, Inc.
Santa Clara, CA4 days ago - NVIDIA is seeking a Senior Formal Verification Engineer in Santa Clara, CA to verify GPU micro-architectures using formal methods. You will define verification scope, write testplans, and drive bounded/full proofs with RTL, collaborating across distributed teams and with...Senior
- Qualcomm is seeking a CPU Emulation Engineer in Santa Clara to join the CPU verification team. You will develop emulation-based solutions, build test-bench infrastructure in C/C++ and SystemVerilog, and drive scalable verification across platforms. You will work with RTL...Senior
- Velaura in Santa Clara, California, is seeking a Design Verification Engineer to verify its next-generation Physical AI SoC focused on a custom CPU. You will collaborate with architects, RTL, software and system teams to ensure correctness, performance, reliability and...Senior
- ...Senior Staff Formal Verification Applications EngineerSynopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions,...Senior
Synopsys
Sunnyvale, CA5 days ago $100k
...technologists have developed a high performance RISC-V CPU from scratch, and share a passion for AI and a... ...our team and looking for contributors of all seniorities.Tenstorrent is looking for a Formal Verification Engineer to help ensure the correctness of our next generation...Permanent employmentTenstorrent
Santa Clara, CA7 days ago- ...About the Role SiFive is looking for a Principal Design Verification Engineer to lead verification of CPU-subsystem power-management functionality across... ...role, you will work closely with architecture, RTL, formal, performance, and design verification teams to ensure...Immediate start
SiFive
Santa Clara, CA3 days ago $167.1k - $250.7k
...Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group CPU Engineering General Summary As a Design Verification Engineer, you will work with Chip... ...Verification. Advanced techniques such as: Formal, Assertions, and Silicon bringup, is helpful...Work from homeQualcomm
Santa Clara, CA4 days ago$167.1k - $250.7k
...Qualcomm Technologies, Inc.## **Job Area:**Engineering Group, Engineering Group CPU Engineering**General Summary:**As a Design Verification Engineer, you will work with Chip... ...Verification.* Advance techniques such as: Formal, Assertions, and Silicon bringup, is helpful...Work experience placementWork from homeQUALCOMM, Inc.
Santa Clara, CA3 days ago$231.44k - $282.88k
...SiFive is looking for a Principal Design Verification Engineer to lead verification strategy and... ...interconnect subsystem used in high-performance CPU and SoC platforms. This is a principal... ...will work across architecture, RTL, formal, performance, and design verification...Work experience placementSiFive, Inc.
Santa Clara, CA4 days ago$100k - $166.75k
## Formal Verification Engineer - New College Grad 2026Applylocations: US, CA, Santa Claratime type: Full timeposted on: Posted Todayjob requisition... ...architecture, or hardware correctness.* Understanding of CPU, GPU, accelerator, SoC, memory-system, or protocol microarchitecture...NVIDIA
Santa Clara, CA2 days ago$86k - $170k
...Role: GlobalFoundries is seeking a New College Graduate CPU IP Design & Verification Engineer to join the MIPS CPU IP Engineering team and develop and... ...Exposure to synthesis, lint, clock-domain crossing analysis, formal verification, or timing analysis. Assembly-language...Full timeInternshipLocal area- ...ground‑up high performance, low‑power CPU for next‑generation compute workloads. We are seeking Verification Engineers at multiple levels — from Senior Engineer to Principal level — to help... ...‑driven closure. Assertions and formal verification. Emulation/FPGA and silicon...
NUVACORE
Santa Clara, CA5 days ago $252.8k - $379.2k
...Technologies, Inc. Job Area: Engineering Group, Engineering Group CPU Engineering General... ...and/or route and design verification. ~16+ years of work... ...simulation, emulation, formal verification, or silicon... ...requiring interaction with senior leadership (e.g., Sr....Work experience placementWork from homeQUALCOMM, Inc.
Santa Clara, CA4 days ago$147.4k - $272.1k
...candidate to join our processor verification team focusing on Power Management... ...verification. Description As a CPU Processor Power Management Verification Engineer, you will have the... ...design Write assertions and apply formal verification to the design Minimum...Relocation$200k - $350k
...We are looking for talented Design Verification Engineers to help verify and deliver Velaura's next... ...workloads. This role focuses on our custom CPU. We are designing a leading edge, high... ...with random instruction sequencing, formal verification, gate level simulation or...Flexible hoursVelaura
Santa Clara, CA4 days ago$124k - $208.4k
...with us!Role and ResponsibilitiesAs a Senior GPU Design Verification Engineer - GCDV, you will contribute to the... ...Ph.D.Hands-on experience with GPU, CPU, or advanced semiconductor design verificationWorking... ...Code, Subsystem Verification, and Formal Verification. As a geographically...SeniorHourly payFull timeRelocationSamsung Semiconductor
San Jose, CA4 days ago$150.4k - $277.6k
...CPU Design Verification Engineer Imagine what you could do here! At Apple, new ideas have a way of becoming extraordinary products, services, and... ...Knowledge of advanced verification techniques such as formal and assertions Understanding of silicon bring-up process...RelocationApple
Santa Clara, CA5 days ago$175.6k - $263.4k
## CPU Verification Engineer (Multiple Locations)Santa Clara, California, United States of AmericaApply NowFind out how well you match with this... ...performing CPU Verification.* Advance techniques such as: Formal, Assertions, and Silicon bringup, is helpful.* In-depth knowledge...Work from homeFlexible hoursQUALCOMM, Inc.
Santa Clara, CA8 hours ago- Tenstorrent is seeking a Formal Verification Engineer to verify high‑performance RISC‑V CPUs and AI compute platforms using formal methods. You will... ..., run proofs, and analyze failures in collaboration with CPU architects and RTL designers. The role is remote, based out...Remote job
- Qualcomm Technologies, Inc. is seeking a Design Verification Engineer in Austin, TX. You will work with CPU and SOC architects to validate micro-architectures,... ...You will drive DV progress with regressions, use formal methods and simulations, and contribute to bringing...
- ...looking for a Principal Design Verification Engineer to lead verification strategy and execution for CPU Core Hardware Prefetch in a... ...performance out‑of‑order core. This senior tech‑lead role will define... ...problem, including simulation, formal techniques, emulation, and...
SiFive
Santa Clara, CA3 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior CPU Formal Verification Engineer. Be the first to apply!
Related searches
- validation consultant Santa Clara, CA
- senior design verification engineer Santa Clara, CA
- verification engineer Santa Clara, CA
- computer system validation engineer Santa Clara, CA
- soc design verification engineer Santa Clara, CA
- senior verification engineer Santa Clara, CA
- design verification engineer Santa Clara, CA
- verification & validation engineer Santa Clara, CA
- validation engineer Santa Clara, CA
- computer validation engineer Santa Clara, CA