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

About the company

Voltai builds AI models and agents that learn, plan, and experiment in the physical world, starting with semiconductor design and manufacturing. Its world models run virtual experiments, then validate results in real fabrication settings to build rich datasets across the hardware stack. What sets Voltai apart is a team of Stanford researchers, former chip-industry CTOs, and policy veterans working with major semiconductor, electronics, and automotive manufacturers. The goal is to speed hardware innovation through AI-driven simulation and validation.

Company Size

N/A

Company Stage

N/A

Total Funding

N/A

Headquarters

N/A

Founded

N/A

Simplify's Take

What believers are saying

By August 2026, Voltai operated 15 stations across Metro Manila, its largest two-wheel swap network.
JRS Express and Xpress pilots moved toward commercial agreements in first-half 2026.
Voltai targets Cebu and Davao after Metro Manila saturation, expanding addressable fleet demand.

What critics are saying

Voltai’s 1,000-station buildout starting 2027 demands heavy capital before proven national utilization.
Dependence on Cleanfuel sites and AboitizPower ties concentrates execution risk across partners.
If pilots fail to convert, utilization stays low and the business burns through its runway.

What makes Voltai unique

Voltai launched the Philippines’ first large-scale two-wheel battery-swap network in October 2025.
Its fixed-fee B2B lease bundles motorcycles, swapping, software, maintenance, and rider apps.
AboitizPower’s 1882 Energy Ventures gives Voltai distribution, capital access, and local credibility.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Hybrid Work Options

Voltai

Formal Verification Engineer

About the job