About the role

Aplyr's Quick Take

This role is for a Formal Verification Engineer focused on ensuring the correctness of AI-generated hardware designs. You'll be using formal methods and collaborating with various teams to create verification systems. It's primarily an individual contributor role requiring deep technical expertise.

Good fit

Ideal candidates have 5+ years of experience with formal verification tools like JasperGold or VC Formal, and a strong background in model checking and property verification. A detail-oriented, analytical mindset and the ability to work independently are essential.

Worth noting

The team is highly accomplished, featuring members with impressive backgrounds, including former government officials and top researchers. The role is heavily technical and may not suit those looking for a more managerial or collaborative environment.

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

Skills & Tags

go ai design sales

Aplyr's read

Voltai is an energy tech innovator specializing in electric vehicle charging. Ideal for tech-savvy professionals passionate about sustainable energy solutions.
Synthesized from recent postings & public sources

What's promising

•Voltai is at the forefront of electric vehicle charging technology.
•The company offers diverse engineering roles, indicating robust R&D investment.
•Voltai's focus on sustainability aligns with growing global energy trends.

What to watch

•Highly competitive industry with rapid technological changes.
•Limited public information about financial stability and long-term growth.
•Potential for high-pressure work environment due to fast-paced innovation demands.

Why Voltai

•Voltai's niche in electric vehicle charging sets it apart from broader energy tech firms.
•The company emphasizes cutting-edge roles like Computational Scientist and CUDA Kernel Engineering.
•Voltai's European expansion suggests a commitment to global market presence.

Aplyr’s read is generated by AI from public sources. Was it useful?

About Voltai

Voltai

voltai.com

View company

Voltai is a technology company focused on developing innovative solutions in the energy sector, particularly in electric vehicle charging and energy management.