# Formal Verification Engineer at NUVACORE

- Company: NUVACORE
- What the company does: NUVACORE builds for the stratosphere. Maximum performance. Absolute area efficiency. No compromise. A general-purpose CPU core designed to excel everywhere, from core infrastructure to advanced AI systems, including the continuous demands of agentic computing. Backed by Sequoia.
- Company website: https://www.nuvacore.ai/
- Type: Startups (AI role)
- Level: Mid level
- Location: Austin
- Work setup: Hybrid
- Pay: $140K to $250K base salary per year (USD)
- Posted: 2026-09-18
- Apply by: 2026-11-02
- Apply: https://jobs.lever.co/nuvacore/c97cf60a-9758-4233-b94e-908094dc892e
- Page: https://www.1752.vc/careers/jobs/nuvacore-formal-verification-engineer/

## About the role

Plan & Strategy: Drive the verification scope and formal test plan for each verification problem — turning the micro-architecture specification into the properties to prove. Formal Environment: Build the formal environment — assumptions, constraints, assertions, and cover properties — plus reusable, optimized formal models.

## What they're looking for

- Degree in Electrical/Computer Engineering, Computer Science, or Mathematics, or equivalent practical experience
- 15+ years (Principal) or 4+ years (Senior Engineer) of design-verification experience, with hands-on formal verification
- Hands-on formal techniques — model checking and/or equivalence checking — through to proof convergence
- Strong Verilog/SystemVerilog and assertions / temporal logic
- Strong knowledge of CPU micro-architecture and digital logic
- Strong scripting (Python, TCL/Perl a plus), analytical, and debug skills

Tags: DESIGN VERIFICATION