Formal Verification Research Scientist

Job overview

The Formal Verification Research Scientist role is hybrid in Palo Alto, CA. Compensation is not specified. Voltai is developing world models and agents for understanding and building hardware, electronics systems, and semiconductors. The scientist develops formal verification methods that establish design correctness for AI-generated hardware. The role prototypes and evaluates research on real RTL designs and collaborates with RTL, verification, and machine-learning research teams to turn new methods into practical verification systems.

What you'll do

• Develop formal verification methods using model checking, property verification, and equivalence analysis
• define formal properties
• automate assertion synthesis
• prototype research ideas
• evaluate methods on real RTL designs
• collaborate with RTL, verification, and ML research teams to develop hybrid formal engines.

What we're looking for

Skills & competencies

formal verification research scientist

hybrid

palo alto ca

voltai

formal methods

model checking

property verification

equivalence checking

rtl

assertion-based verification

sva

jaspergold

vc formal

Work arrangement

• Weekend coverage required

Why this role

The posting highlights research experience in formal methods, theorem proving, model checking, or program analysis, and experience with tools such as JasperGold or VC Formal.

About the employer

Voltai is hiring for this role. Industry: Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology). Sector: 54.