Senior Formal Verification Engineer
$143.3k - $247.6kFull-time
Annapurna Labs Inc.
Salary: $143,300 - 247,600 per year Requirements:
- Bachelors degree or higher in computer science, electrical engineering, or a related discipline
- 7 years of hands-on experience in formal verification as an IP/Block owner, or equivalent academic exposure to formal methods
- 7 years of familiarity with formal verification techniques, including abstraction and end-to-end checking, or equivalent academic knowledge in formal methods
- Proficiency in programming or other scripting languages and coding skills (C/C++/C#, Node.js, Java, Python, PHP, Ruby) preferred
- Understanding of micro-architecture design and debugging
- Practical experience with RTL design
- Develop formal verification plans to implement and verify cutting-edge IP architectures
- Collaborate with block designers to gain an in-depth understanding of micro-architecture
- Create checking algorithms, assertions, and formal verification models
- Apply state-of-the-art formal methods and abstraction techniques
- Engage in test plan and coverage reviews to ensure thorough validation
- Promote assertions to simulation and contribute to the overall simulation strategy
- Communicate and collaborate effectively with team members across various disciplines
- C#
- Cloud
- Java
- PHP
- Python
- Ruby
- Web
- NodeJS
- AWS
- DevOps
- Flow
- Hardware
- Support
- Machine Learning
More:
At Amazon Web Services, we are dedicated to providing a robust, scalable, and cost-effective cloud infrastructure powering businesses worldwide. Our data centers span across the U.S., Europe, Singapore, and Japan, supporting a diverse range of industries. We believe in fostering an inclusive team culture, valuing work-life balance, and providing opportunities for mentorship and career development. Join us in Los Angeles County, where we emphasize cooperation, communication, and a commitment to excellence as part of our core values. We offer a competitive compensation package that reflects various U.S. markets and includes a comprehensive suite of benefits.
last updated 37 week of 2026
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Senior Formal Verification Engineer in Cupertino, CA vacancy
$143.3k - $247.6k
...Requirements: ~### ~ A Bachelor’s degree or higher in computer science, electrical engineering, or a related area. ~ Over 7 years of hands-on experience with formal verification as an IP/Block owner, or comparable academic experience in formal methods. ~ More than...SeniorFull timeWorldwideAnnapurna Labs (U.S.) Inc.
Cupertino, CA3 days ago$136k - $218.5k
...everyone is inspired to do their best work. Come join the team 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 the industry's leading GPUs. In this position, your...SeniorFull time$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 work- ...Senior ASIC Verification Engineer This role has been designed as ''Onsite'' with an expectation that you will primarily work from an HPE office.... ...(e.g., Jenkins). Understanding of low-power (UPF) or formal verification methodologies. Own and drive block-level/...SeniorWork at office2 days per week
Hewlett Packard Enterprise
Sunnyvale, CA1 day ago $136k - $218.5k
...Full time JR2017926 NVIDIA is seeking a hardworking Senior ASIC Design Verification Engineer to help drive sign-off strategies for world's leading... ...as VCS-XA or equivalent tools, Gate Level Simulation or Formal Equivalence domains. Strong interpersonal skills and...SeniorFull timeWork experience placementRemote workNVIDIA
Santa Clara, CA4 days ago- ...Senior ASIC Verification Engineer We are seeking a highly skilled Senior ASIC Verification Engineer to join our dynamic team. This role is pivotal in ensuring the functionality and reliability of our ASIC products through thorough verification processes. The ideal candidate...SeniorVisa sponsorshipRelocation package
Netpreme
Santa Clara, CA4 days ago - ...About the job Senior ASIC Verification Engineer (AI Hardware) Senior ASIC Verification Engineer (AI Hardware) - Remote (U.S.) - No Visa Sponsorship... ...integration or co-verification Familiarity with formal verification methods Exposure to post-silicon...SeniorRemote workVisa sponsorship
4 Staffing Corp
San Jose, CA5 days ago $163k - $237k
Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques.Architect... ...and sign-off metrics.Guide logic designers and verification engineers to effectively incorporate formal methods into their workflows...Worldwide$159k - $239k
...Category Engineering Hire Type Employee Job ID 18604 Base Salary Range $159000-$239... ...You'll Be Doing Define and track verification test plans for DDR PHY and memory subsystem... ...RTL You are comfortable being the senior technical voice in a room, whether that...SeniorRemote workSynopsys Inc
Sunnyvale, CA9 days ago$136k - $218.5k
The NVIDIA Clocks Team is looking for an excellent Senior ASIC Verification engineer with extensive experience in Design Verification. The NVIDIA Clocks... ...flows like SV constraint random verification, UVM, Formal Verification, Coverage metrics, profiling tools, X prop,...SeniorFull timeWork experience placementRemote work$164.47k - $311.89k
...Details:Job Description: About the RoleIntel is seeking a Senior Design Verification Engineer for the Silicon Chassis team. In this role, you will own... ...across teamsDrive convergence of simulation and formal verification into unified bug hunting and coverage closure...SeniorFull timeInternshipLocal areaImmediate startShift work$127.63k - $191.2k
...ImpactWe are seeking a highly skilled and experienced Senior Staff Level Physical Verification CAD Engineer to join our dynamic team. The ideal candidate will... ...or equivalent professional experience in lieu of a formal degreeExperience in CAD and EDA tool development and...SeniorPermanent employmentFull timeInternshipWork from home- ...Sr. ASIC Verification Engineer Sunnyvale, CA Artificial intelligence (AI) is transforming our world. It can perform cognitive functions... ...supportive and inspiring work environment. About the Role As a senior member of Tensordyne's ASIC team, you will lead all phases...SeniorWork at officeRemote workFlexible hours
Tensordyne
Sunnyvale, CA1 day ago - ...millions of patients worldwide.We’re a team of engineers, clinicians, and innovators united by... ...from test-planning to closing verification using coverage metricsHands-on testbench... ...debuggingExperience with Emulation/FPGA prototyping and Formal is a plusExperience with ML-assisted...SeniorLocal areaWorldwideFlexible hours
$140k - $200k
...of life. We are seeking a highly skilled and experienced Verification Engineer to join our engineering team. In this role, you will be responsible... ...the following: Advanced assertion-based verification or formal intent Exposure to gate-level simulation, formal...Full timeWork at officeImmediate startVisa sponsorshipNight shiftE-Space
Saratoga, CA16 days ago- ...efficient than conventional all-digital systems About the role: We are looking for an experienced digital and mixed-signal verification engineer who excels working in large complex systems with and enjoys utilizing a broad set of skills. This person will do everything...Senior
Mythic
Palo Alto, CA18 days ago $163k - $236k
Plan the verification of complex digital design blocks by understanding the design specification and interacting with design engineers to identify important verification scenarios.Create and enhance... ...using SystemVerilog and UVM, or formally verify designs with SVA and...SeniorWorldwide$200k - $300k
...Senior ASIC Design Verification Engineer Join Ethernovia's team to make a lasting impact on the future of packet processor-centric networking solutions to support the real-time sensor, Physical AI, and control data demands of software-defined autonomy across vehicles...SeniorFlexible hoursEthernovia
San Jose, CA1 day ago$160k - $275k
...availability. We build the full stack—from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.What You'll Do...Daily paidFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work- ...National Security Advisor, and Senior Foreign-Policy Advisor to... ...In this role, you’ll build formal proofs of design correctness... ...using model checking, property verification, and equivalence analysis. You... ...teams to develop hybrid formal engines that reason about AI-...
$167.7k - $245.2k
...qualification to production—is within our team, we're able to think differently, experiment more, and work quickly. As an ASIC Design Verification Engineer, you will play a critical role in developing Cisco's revolutionary data center, AI networking solutions. Join us to power...SeniorFull timeTemporary workLocal areaFlexible hoursWebex Events (formerly Socio)
San Jose, CA3 days ago$136k - $218.5k
NVIDIA is seeking best-in-class ASIC Verification Engineers to verify the world’s leading GPUs. In this role, you will be doing unit level verification of the process scheduling and system interface hardware of the GPU. This position will be working across many NVIDIA...SeniorFull timeShift work$136k - $218.5k
NVIDIA is seeking an exceptional Senior SoC ASIC Verification Engineer to confirm the functionality of the world’s most powerful AI-enabled SoCs. These SoCs power self-driving cars, gaming consoles, and automated machines. NVIDIA operates as a “learning machine,” constantly...SeniorFull timeWorldwide$136k - $218.5k
We are now looking for a Senior Performance Verification Engineer!As a member of our CPU Performance verification Team, you will be responsible for performance correlation, analyzing workloads and benchmarks for performance bottlenecks, developing microbenchmarks and creating...SeniorFull time$168k - $264.5k
...immersed in a diverse, supportive environment where everyone is inspired to do their best work. We are seeking a skilled Senior Verification Engineer to join our Display Team and help verify the world's foremost GPU and SoC display engines! Working alongside our...SeniorFull time$136k - $218.5k
...the world and there has never been a more exciting time to join our team!The NVIDIA VLSI team is looking for a Senior Cell Modeling and Verification Engineer with strong experience in hardware design and methodologies to help develop NVIDIA's ground breaking ASIC products...SeniorFull time$168k - $264.5k
...world. This is our life’s work, to amplify human imagination and intelligence. Join us today!We are now looking for a Senior System Verification Engineer to join our Emulation division and will be working onsite from our Santa Clara, CA headquarters.What you will be...SeniorFull timeWorldwideFlexible hours- ...of AI and beyond. Together, we advance your career. THE ROLE: The Infinity Fabric transport layer verification team is looking for a senior pre-silicon verification engineer to help verify our configurable switches and die-to-die interconnect. Infinity Fabric is part of...Senior
$106.6k - $198k
...in space and find a career that's built for you. The Systems Engineer will:• Perform Multi level requirement assessment in support of... ...includingpeer reviews and change requests for requirements changes and verification baseline• Coordinate changes and requirement dependencies with...SeniorFull timeTemporary workWork experience placementCasual workFlexible hours- ...enhance our overall quality of life. We are hiring FPGA Verification Engineers to build and maintain the verification infrastructure for satellite... ..., or high-reliability applications. Familiarity with formal verification tools. Background in embedded software...Night shift
E-Space
Saratoga, CA16 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior Formal Verification Engineer. Be the first to apply!
Related searches
- computer system validation engineer Cupertino, CA
- senior developer Cupertino, CA
- senior aws cloud engineer Cupertino, CA
- remote senior salesforce administrator Cupertino, CA
- senior manager tax Cupertino, CA
- senior tax Cupertino, CA
- senior helpdesk technician Cupertino, CA
- senior principal cloud computing engineer Cupertino, CA
- senior accountant remote Cupertino, CA
- senior manager accenture Cupertino, CA