Formal Verification Engineer
Voltai
Job Description
Job Description
About Voltai
Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. We are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits.
About the Team
Backed by Silicon Valley’s top investors, Stanford University, and CEOs/Presidents of Google, AMD, Broadcom, Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys & GlobalFoundries, Head of Sales & CRO of Cadence, former US Secretary of Defense, National Security Advisor, and Senior Foreign-Policy Advisor to four US presidents.
About this Role
In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.
You might thrive if you have 5+ years of experience in
JasperGold , VC Formal , or similar formal verification tools
Assertion-based verification (SVA)
Model checking and property decomposition
Equivalence checking , abstraction refinement , and formal coverage
Vacancy posted 13 days ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer in Palo Alto, CA vacancy
$132k - $189k
A leading technology company is seeking an ASIC Formal Verification Engineer in Sunnyvale, CA. This role involves shaping the future of AI/ML hardware with a focus on TPU technology. Candidates should have a Bachelor's degree in Electrical Engineering or a related field...Suggested- A leading technology company is seeking a Formal Verification Engineer to ensure the functional correctness of high-performance computing solutions. Collaborate with skilled engineers to define verification scope, implement methodologies, and employ advanced techniques...Suggested
$168k - $264.5k
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance Computing Solutions. As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness...Suggested$184k - $287.5k
Senior Formal Verification Engineer, GPU Kernels page is loaded## Senior Formal Verification Engineer, GPU Kernelslocations: US, CA, Santa Claratime type: Full timeposted on: Posted Yesterdayjob requisition id: JR2016917We are now looking for a Senior Formal Verification...SuggestedWork experience placement$122.44k - $232.19k
...put Silicon in Silicon Valley. No one else is obsessed with engineering and has a brighter future. Every day, we create world... ...Intel, we are building a better tomorrow. Role Impact: As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality...SuggestedFull timeInternshipLocal areaImmediate startShift work- ...the future of AI and beyond. Together, we advance your career. THE ROLE We are looking for an adaptive, self‑motivated formal verification engineer to join our growing team. As a key contributor, you will be part of a highly collaborative team to drive and improve AMD...Work experience placementNight shift
- ...technology company in Mountain View is seeking an experienced validation engineer to develop custom silicon solutions that power innovative products. This role involves planning and executing verification activities, ensuring design accuracy while mentoring junior team...
$120k - $250k
...Rust SW-Silicon Co-verification Engineer Mountain View, CA MatX is seeking engineers with strong Rust skills to join our team as we create... ...is valuable Experience with Bluespec (BH or BSV) Formal methods, model checking, or property-based testing (e.g., proptest...Full timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hours3 days per weekMatX
Mountain View, CA13 days ago$132k - $189k
...Sunnyvale, CA, USA Apply Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related... ...equivalent practical experience. 4 years of experience with formal and design verification. Experience with SystemVerilog or Verilog. Experience...Full timeWorldwide$181.1k - $318.4k
Cupertino, California, United States Hardware Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore, prototype, and build AI-powered...Relocation$106.4k - $172.15k
Palo Alto Networks, Inc. is seeking a Design Verification Engineer for our ASIC team in Santa Clara, California. This role focuses on ensuring next-generation firewall products meet performance and reliability standards. You will define verification methodologies, architect...$105.65k - $149.15k
...silicon products that empower people's digital lives. Come join us and do something wonderful. The Role and Impact: As a Formal Verification Engineer, you will play a pivotal role in ensuring the reliability and functionality of Intel's cutting-edge IP and SoC...InternshipLocal areaImmediate startWorldwideShift workIntel Corporation
Santa Clara, CA1 day ago$138k - $198k
Silicon Design Verification Engineer, Quantum AI Apply Mid Experience driving progress, solving problems, and mentoring more junior team members... ...-to-end DV coverage. Experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa...Full timeWorldwide$163k - $237k
...Apply Bachelor's degree in electrical engineering or computer science, or equivalent practical... .... 8 years of experience with verification methodologies and languages (e.g., UVM... ...Experience with low power, debug, GLS, formal verification. Experience in scripting...Full timeWorldwide$138k - $198k
...Qualifications Bachelor's degree in Electrical Engineering, Computer Science, a related field, or... ...creating and utilizing UVM-based verification environments. Experience with image... ...Universal Verification Methodology (UVM), or formally verify designs using SystemVerilog...Full timeWorldwide$163k - $237k
...link Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science... ...experience. 8 years of experience with verification methodologies and languages such as UVM... ...techniques and methodologies including formal, GLS, UPF based Power simulations, UVM...Full timeWorldwide$120k - $225k
...Description Job Description We’re hiring experienced Design Verification Engineers to play a key role in developing and verifying the designs... ...and advanced stimulus generation techniques. Exposure to formal verification methods and tools. Familiarity with power-...Mythic
Palo Alto, CA15 days ago$200k - $350k
...Job Description What will you do - Own block-level RTL verification across our AI accelerator ASIC. - Build testbenches, drive coverage... ...coverage to target - (Optional) SVA assertion writing, formal methods, RISC-V, emulation, or processor / accelerator verification...Visa sponsorshipWork visaDensity AI, Inc.
Mountain View, CA8 days ago- ...generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior Verification Engineer, your role isn’t just verifying chips but... .... Bonus Skills Experience with formal verification, co-simulation or stimulus...
Voltai
Palo Alto, CA13 days ago $237k - $296k
...Role Summary We are seeking a high-caliber Sr. Staff Design Verification Engineer to join our ADAS and Inference Silicon team. You will be responsible... ...(CDV) to reach aggressive functional targets. Apply Formal Verification (SVA) to exhaustively prove corner cases in safety...Full timeContract workTemporary workPart timeLocal areaShift workNight shift$167.1k - $250.7k
Company: 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 home$103.9k - $140.6k
Lidar Verification and Validation Engineer Aeva’s mission is to bring the next wave of perception to a broad range of applications from automated driving to industrial robotics, consumer electronics, consumer health, security, and beyond. Aeva is transforming autonomy...Flexible hours$181.1k - $318.4k
...customers quickly! We are looking for you to join our design verification team focusing on the creation, deployment, and support of sophisticated... ..., a range of discounted products and free services, and for formal education related to advancing your career at Apple,...Relocation$181.1k - $318.4k
...complexities of multi-chip SOC debug architecture. As a Design Verification Engineer on our team, you\'ll be at the center of the verification... ...based bus architecture in UVM environment. Experience with Formal Verification. In-depth knowledge and experience working with...RelocationNight shift$147.4k - $272.1k
...We are looking for a strong candidate to join our processor verification team focusing on DFT verification. In this highly visible role... ...benefits, a range of discounted products and free services, and for formal education related to advancing your career at Apple,...Relocation$168k - $264.5k
NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC and IP solutions! We are looking for special... ...integration.**Ways to stand out from the crowd:*** Experience with formal verification or assertion-based verification (SVA).*...$140k - $224.25k
...accelerate deep learning workloads. We are looking for an engineer to implement compiler verification software & related infrastructure in the AI space. You... ...are preserved, and where correctness breaks down Formal methods or language specification background:...NVIDIA
Santa Clara, CA3 days ago$147.4k - $272.1k
...strong candidate to join our processor verification team focusing on Power Management and Clock... ...Processor Power Management Verification Engineer, you will have the responsibilities as... ...the design Write assertions and apply formal verification to the design Minimum Qualifications...Relocation$132k - $189k
A leading technology company in Mountain View seeks a CPU SoC DV Engineer to ensure functional integrity of CPU subsystems through robust verification. The role requires expertise in ARM-based SoC verification, RTL verification, and post-silicon debug. You will have the...Night shift$126.8k - $190.9k
CPU Processor Performance Verification Engineer Santa Clara, California, United States Hardware Imagine what you could do here! At Apple, new... ..., a range of discounted products and free services, and for formal education related to advancing your career at Apple, reimbursement...Relocation
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer. Be the first to apply!
Related searches
- senior design verification engineer Palo Alto, CA
- validation specialist Palo Alto, CA
- verification & validation engineer Palo Alto, CA
- senior verification engineer Palo Alto, CA
- verification engineer Palo Alto, CA
- senior validation engineer Palo Alto, CA
- validation engineer Palo Alto, CA
- validation consultant Palo Alto, CA
- computer system validation engineer Palo Alto, CA
- software verification engineer