Formal Verification Engineer Hardware & Compiler Proofs
MatX Inc.
MatX Inc. in Mountain View, CA is seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software across the stack. You will apply model checking, write SVA/PSL properties, and develop machine-checked proofs for compiler transformations while embedding HDL/IR into theorem provers and collaborating across teams. The role offers a competitive US base salary with equity and generous benefits, with on-site Mountain View presence Tue-Thu. #J-18808-Ljbffr
Vacancy posted 3 days ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer Hardware & Compiler Proofs in Mountain View, CA vacancy
$160k - $275k
...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... ...Develop and maintain machine-checked proofs for critical compiler...SuggestedDaily paidFull timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hoursShift workMatX
Mountain View, CA6 days ago$100k
...innovations in software models, compilers, platforms, networking,... ...is looking for a Formal Verification Engineer to help ensure the correctness... ...methods to prove complex hardware behavior, uncover corner cases... ..., assertions, and proofs.A strong debugger who can...SuggestedPermanent employmentTenstorrent
Santa Clara, CA7 days ago$163k - $237k
Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing... ...logic designers and verification engineers to effectively incorporate formal... ...’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity...SuggestedWorldwideGoogle
Sunnyvale, CA6 days ago$150k - $350k
...revolutionizing chip design and verification with agentic-AI workflows.... ...seeking a highly capable Formal Verification Engineer to join our core product... ...-based verification, and proof debugging will help shape... ...reason about complex hardware behavior. You will play a...SuggestedShift workScOp Venture Capital LLC.
San Jose, CA6 hours ago$147.9k - $221.9k
...Technologies, Inc. Job Area Engineering Group, Engineering Group... ...in the application of formal methods to the verification of application processors?... ...-checking technology to hardware designs including property verification, math proofs, architectural modeling and...SuggestedWork experience placementWork from homeMaC VC
Santa Clara, CA2 days ago$200k - $300k
...We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal... ...enjoy reasoning rigorously about complex hardware, taming state-space explosion, and... ...datapath-equivalence checks. Apply full proofs, bounded model checking, assume-...Flexible hoursVelaura AI, Inc.
Santa Clara, CA6 hours ago- Google is seeking an ASIC Formal Verification Engineer to shape and verify TPUs and AI/ML hardware acceleration. You will verify complex digital designs with a focus on TPU architecture and integration in AI/ML systems, contributing to project definitions, formal verification...
$163k - $237k
...qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer... ...SystemVerilog Assertions (SVA) and formal verification methods. Preferred qualifications:... ...’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity...Worldwide- ...for a Principal Design Verification Engineer to lead verification... ...for CPU Core Hardware Prefetch in a high‑performance... ...simulation, formal techniques, emulation... ...effectively with performance, compiler, system verification,... ...and satisfactory proof of your right to work...
SiFive
Santa Clara, CA3 days ago $100k - $166.75k
## Formal Verification Engineer - New College Grad 2026Applylocations: US, CA, Santa Claratime type: Full... ...for using formal methods to prove hardware correctness. You will work with experienced... ..., modeling, and scripting to improve proof convergence and team productivity.*...NVIDIA
Santa Clara, CA2 days ago- ...understanding and building hardware; electronics systems and semiconductors... ...In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis.... ...to develop hybrid formal engines that reason about AI-...
$138k - $197k
Plan the formal verification strategy, create the properties and constraints for the digital design... ...:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science... ...’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity...WorldwideGoogle
Sunnyvale, CA6 days ago- ...Senior Staff Formal Verification Applications EngineerSynopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered... ...-offs. You know when to push for full formal proof and when bounded checking is the right answer....
Synopsys
Sunnyvale, CA5 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... ...formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-...Full timeNvidia
Santa Clara, CA6 days ago- ...Formal Verification - AI/ML Engineer Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial... ...interpretation to property generation, proof debugging, and beyond. Developing and fine-tuning...
Apple
Cupertino, CA5 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... ...collaborating with AI and EDA experts on frontier hardware verification challenges. You will translate...
ScOp Venture Capital LLC.
San Jose, CA4 days ago - ...Qualcomm Technologies, Inc. is seeking a senior verification engineer to advance formal methods for CPU design and verification. You will work with a... ...with hands-on experience in HDL assertions and formal proofs. Location is in the US with a competitive compensation...
MaC VC
Santa Clara, CA2 days ago $119.8k - $234.7k
...Less than 25%Profession: Hardware EngineeringDiscipline:... ..., and Infrastructure Engineering (SCHIE) is the team... ...Senior Silicon Design Verification Engineer to join the team... ...processors.Extend the compile and build flow to... ...required to provide either proof of their country of...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per weekMicrosoft
Mountain View, CA8 days ago$74.1k - $148.3k
...integration of electrical systems for hardware products, following established engineering guidelines. Supports parts... ...design decisions.-Participates in formal design reviews, contributing insights... ...with standard procedures. Compiles and reviews data and/or information...Temporary workFlexible hoursOracle Corporation
Santa Clara, CA6 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... ...properties, formal testbenches, and reusable apps; drive proofs, benchmarks, and CI hooks; and contribute to a culture of...Flexible hours
Velaura AI, Inc.
Santa Clara, CA4 days ago - Tenstorrent is seeking a Formal Verification Engineer to verify high‑performance RISC‑V CPUs and AI compute platforms using formal methods. You will develop properties, run proofs, and analyze failures in collaboration with CPU architects and RTL designers. The role is...Remote job
- NVIDIA is seeking a Senior Formal Verification Engineer in Santa Clara, CA to verify GPU micro-architectures using formal methods. You will define... ...scope, write testplans, and drive bounded/full proofs with RTL, collaborating across distributed teams and with...
- ...Job Title: Senior Hardware Verification Engineer Location: Santa Clara, CA About the Role: We are seeking a seasoned Design Verification designer... ...subsystems, interconnects and NOCs ~ Experience with formal verification techniques, emulation platforms is a plus ~...
Baya Systems
Santa Clara, CA5 days ago $160k - $275k
...Is BuildingMatX is seeking engineers with strong Rust skills to join... ...our software models and hardware design behave identically and... ...not need prior hardware or verification experience to apply — if you... ...valuableExperience with Bluespec (BH or BSV)Formal methods, model checking, or...Daily paidFull timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hours3 days per weekMatX
Mountain View, CA6 days ago$184.7k - $324.8k
...Cupertino, California, United States Hardware Imagine what you'll do at Apple! New insights... ...are looking for you to join our design verification team focusing on the creation,... ...discounted products and free services, and for formal education related to advancing your...RelocationApple Inc.
Sunnyvale, CA3 days ago$119.8k - $234.7k
...ContributorTravel: Less than 25%Profession: Hardware EngineeringDiscipline:... ..., and Infrastructure Engineering (SCHIE) is the team behind... ...for a Senior Performance Verification Engineer - SoC to join the team... ...required to provide either proof of their country of citizenship...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per weekMicrosoft
Mountain View, CA5 days ago$220.92k - $311.89k
...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 methods...Full timeInternshipLocal areaImmediate startShift workIntel
Santa Clara, CA8 days ago$140k - $224.25k
...understand the world. Today, we are increasingly known as “the AI computing company”.We are looking for a Verification Engineer, Compute Performance to join our Compiler Verification Team.What you’ll be doing:Analysis: Analyze performance degradation or functional defect...Full timeWork experience placementNvidia
Santa Clara, CA5 days ago- ...for a Senior Design Verification Engineer to drive verification... ...Midcore, Load-Store Unit, Hardware Prefetch, and Vector... .... Familiarity with formal verification,... ...effectively with performance, compiler, system verification,... ...and satisfactory proof of your right to work...
SiFive
Santa Clara, CA2 days ago $158.5k - $321k
...Senior ASIC Verification EngineerThis role has been designed as 'Hybrid... ...VLSI components and hardware systems. Determines architecture... ...teams of Electronic and VLSI engineers and internal and outsourced... ...the - art tools for doing formal verification, code coverage...Work experience placementWork at officeLocal areaImmediate start2 days per weekHewlett Packard Enterprise
Sunnyvale, CA3 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer Hardware & Compiler Proofs. Be the first to apply!
Related searches
- validation consultant Mountain View, CA
- senior design verification engineer Mountain View, CA
- verification engineer Mountain View, CA
- computer system validation engineer Mountain View, CA
- soc design verification engineer Mountain View, CA
- senior verification engineer Mountain View, CA
- design verification engineer Mountain View, CA
- verification & validation engineer Mountain View, CA
- validation engineer Mountain View, CA
- validation specialist Mountain View, CA