Palo Alto, CA · On-site
$159K/yr
... 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 ...
Quick apply
Palo Alto, CA · On-site
$159K/yr
... 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 ...
Palo Alto, CA · On-site
$159K/yr
... 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 ...
Palo Alto, CA · On-site
$159K/yr
... 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 ...
Palo Alto, CA · On-site
$159K - $195K/yr
... Policy Advisor to four US presidents. About this Role We are building next- generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior ...
Quick apply
Palo Alto, CA · On-site
$159K - $195K/yr
... Policy Advisor to four US presidents. About this Role We are building next- generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior ...
Palo Alto, CA · On-site
$159K - $195K/yr
... Policy Advisor to four US presidents. About this Role We are building next- generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior ...
Palo Alto, CA · On-site
$159K - $195K/yr
... Policy Advisor to four US presidents. About this Role We are building next- generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior ...
Palo Alto, CA · On-site
$150 - $200/hr
... Policy Advisor to four US presidents. About this Role We are building next- generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior ...
Palo Alto, CA · On-site
$150 - $200/hr
... Policy Advisor to four US presidents. About this Role We are building next- generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior ...
Fresno, CA · On-site
$23/hr
The Verification Specialist will be responsible for obtaining insurance authorizations and ... Advise coordinator of problems or trends relating to authorizations and/or referrals * Adhere to ...
Quick apply
Fresno, CA · On-site
$23/hr
The Verification Specialist will be responsible for obtaining insurance authorizations and ... Advise coordinator of problems or trends relating to authorizations and/or referrals * Adhere to ...
Fresno, CA · On-site
$23/hr
The Verification Specialist will be responsible for obtaining insurance authorizations and ... Advise coordinator of problems or trends relating to authorizations and/or referrals * Adhere to ...
Fresno, CA · On-site
$23/hr
The Verification Specialist will be responsible for obtaining insurance authorizations and ... Advise coordinator of problems or trends relating to authorizations and/or referrals * Adhere to ...
Fresno, CA · On-site
$23/hr
The Verification Specialist will be responsible for obtaining insurance authorizations and ... Advise coordinator of problems or trends relating to authorizations and/or referrals * Adhere to ...
Fresno, CA · On-site
$23/hr
The Verification Specialist will be responsible for obtaining insurance authorizations and ... Advise coordinator of problems or trends relating to authorizations and/or referrals * Adhere to ...
Santa Clara, CA · On-site
$100 - $125/hr
Verification Engineer (CONTRACT) State/Province: California Posting Start Date: 8/21/26 Wipro ... Applicants are advised that employment in some roles may be conditioned on successful completion of ...
Santa Clara, CA · On-site
$100 - $125/hr
Verification Engineer (CONTRACT) State/Province: California Posting Start Date: 8/21/26 Wipro ... Applicants are advised that employment in some roles may be conditioned on successful completion of ...
Austin, TX · On-site
$134K - $164K/yr
The DFT Design Verification Engineer will be on a team which is responsible for the complete DFT ... advised/constrained random tests • Debugging failures, running gate level simulations ...
Austin, TX · On-site
$134K - $164K/yr
The DFT Design Verification Engineer will be on a team which is responsible for the complete DFT ... advised/constrained random tests • Debugging failures, running gate level simulations ...
Austin, TX · On-site
$134K - $164K/yr
The DFT Design Verification Engineer will be on a team which is responsible for the complete DFT ... advised/constrained random tests • Debugging failures, running gate level simulations ...
Austin, TX · On-site
$134K - $164K/yr
The DFT Design Verification Engineer will be on a team which is responsible for the complete DFT ... advised/constrained random tests • Debugging failures, running gate level simulations ...
Implementation and Verification: Advise on the execution of safe working procedures, Technical Work Instructions, and Task Risk Assessments. Ensure compliance with the RADAR program and site-specific ...
Implementation and Verification: Advise on the execution of safe working procedures, Technical Work Instructions, and Task Risk Assessments. Ensure compliance with the RADAR program and site-specific ...
Implementation and Verification: Advise on the execution of safe working procedures, Technical Work Instructions, and Task Risk Assessments. Ensure compliance with the RADAR program and site-specific ...
Implementation and Verification: Advise on the execution of safe working procedures, Technical Work Instructions, and Task Risk Assessments. Ensure compliance with the RADAR program and site-specific ...
Austin, TX · On-site
$134K - $164K/yr
The DFT Design Verification Engineer will be on a team which is responsible for the complete DFT ... advised/constrained random tests • Debugging failures, running gate level simulations ...
Austin, TX · On-site
$134K - $164K/yr
The DFT Design Verification Engineer will be on a team which is responsible for the complete DFT ... advised/constrained random tests • Debugging failures, running gate level simulations ...
Austin, TX · On-site
$100 - $125/hr
Implementing test benches, generating advised/constrained random tests * Debugging failures ... Assisting in verification flows, automation scripts and regressions * Working with test engineers ...
Austin, TX · On-site
$100 - $125/hr
Implementing test benches, generating advised/constrained random tests * Debugging failures ... Assisting in verification flows, automation scripts and regressions * Working with test engineers ...
Minneapolis, MN · On-site
$22/hr
Advise the Manager of verification trends and updates. * Meets individual, departmental, and company goals. * Occasionally, employees currently recognized as high performers through recent ...
Minneapolis, MN · On-site
$22/hr
Advise the Manager of verification trends and updates. * Meets individual, departmental, and company goals. * Occasionally, employees currently recognized as high performers through recent ...
Scottsdale, AZ · On-site
$45K - $55K/yr
Osaic's Advisor Support team provides high-quality support to financial professionals by responding ... Review, verify, and process service forms and requests submitted by financial professionals
Scottsdale, AZ · On-site
$45K - $55K/yr
Osaic's Advisor Support team provides high-quality support to financial professionals by responding ... Review, verify, and process service forms and requests submitted by financial professionals
Waltham, MA · On-site
$150 - $200/hr
Implementing test benches, generating advised/ constrained random tests * Debugging failures ... Assisting in verification flows, automation scripts and regressions Minimum Qualifications
Waltham, MA · On-site
$150 - $200/hr
Implementing test benches, generating advised/ constrained random tests * Debugging failures ... Assisting in verification flows, automation scripts and regressions Minimum Qualifications
Scottsdale, AZ · On-site
$45K - $55K/yr
Osaic's Advisor Support team provides high-quality support to financial professionals by responding ... Review, verify, and process service forms and requests submitted by financial professionals
Scottsdale, AZ · On-site
$45K - $55K/yr
Osaic's Advisor Support team provides high-quality support to financial professionals by responding ... Review, verify, and process service forms and requests submitted by financial professionals
Austin, TX · On-site
$184K - $324K/yr
... advised/constrained random tests • Debugging failures, running gate level simulations ... in verification flows, automation scripts and regressions Preferred Qualifications Proven ...
Austin, TX · On-site
$184K - $324K/yr
... advised/constrained random tests • Debugging failures, running gate level simulations ... in verification flows, automation scripts and regressions Preferred Qualifications Proven ...
$12.02 - $15.06
6% of jobs
$15.06 - $18.09
15% of jobs
$18.73 is the 25th percentile. Wages below this are outliers.
$18.09 - $21.13
19% of jobs
The median wage is $23.06 / hr.
$21.13 - $24.17
16% of jobs
$24.17 - $27.21
15% of jobs
$28.50 is the 75th percentile. Wages above this are outliers.
$27.21 - $30.24
11% of jobs
$30.24 - $33.28
7% of jobs
$33.28 - $36.32
5% of jobs
$36.32 - $39.36
2% of jobs
$39.36 - $42.40
2% of jobs
$42.40 - $45.43
2% of jobs
$12
$25
$45
For Verification Advisor jobs, the most frequently searched job titles are:
Palo Alto, CA • On-site
$159K/yr
Full-time
Re-posted 16 hours ago
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
