Formal Verification Engineer (AI Hardware)

Location: Palo Alto Office, United States; onsite

Company

hirify.global develops world models and agents for understanding and building physical-world hardware, electronics systems, and semiconductors.

What you will do

• Build formal proofs of design correctness using model checking, property verification, and equivalence analysis.
• Collaborate with RTL, verification, and ML research teams.
• Develop hybrid formal engines for reasoning about AI-generated hardware at scale.
• Define formal properties and automate assertion synthesis.
• Build verification systems designed to operate at high speed and scale.

Requirements

• 5+ years of relevant experience.
• Experience with JasperGold, VC Formal, or similar formal verification tools.
• Experience with assertion-based verification and SVA.
• Knowledge of model checking and property decomposition.
• Experience with equivalence checking, abstraction refinement, and formal coverage.

Culture & Benefits

• Work with researchers and engineers from Stanford, SAIL, Synopsys, GlobalFoundries, Cadence, Google, AMD, Broadcom, and Marvell.
• Join a team backed by Silicon Valley investors, Stanford University, and technology leaders.
• Work at the intersection of AI, hardware, electronics systems, and semiconductors.