Nuvacore
Formal Verification Engineer
Austin, TX · Senior · Full-time
Stay score
odds of building a lasting career here
Sponsors, but it's cap-subject — you still face the weighted lottery (~61% per draw at Level IV). Good if you win; have a cap-exempt backup on your list.
Lottery odds assume a STEM candidate.
Personalize to your clock →H-1B wage level
the lottery is wage-weighted — each level is one more entry
$12,360 more — $152,360 — moves this role to Level III and 3 lottery entries. That figure is inside the range the employer already advertised.
Based on the DOL prevailing wage for this occupation and worksite, a base salary of $152,360 would place this position at wage Level III. That figure is within the posted range, and I'd like to target it. This role classifies under "Electronics Engineers, Except Computer" for prevailing-wage purposes.
DOL prevailing wage, 2026-27 wage year · Electronics Engineers, Except Computer (17-2072) · Austin-Round Rock-San Marcos, TX. Wage level is derived by USCIS from the offered wage, occupation and worksite; the occupation shown is inferred from the job title.
Employer immigration record
from this employer's Department of Labor filings
Files H-1B transfers
Sourced from Department of Labor LCA, PERM and prevailing-wage disclosure data. Employer matching is by name, so figures may be split across an employer's legal entities. Absence of a filing means none appears in our copy of the data, not that none exists.
Community outcomes
No reports yet — be the first to help the next applicant.
About the role
- Apply model checking, equivalence checking, and abstraction to reach full or bounded proofs, and hunt deep bugs in areas such as cache coherence, memory consistency, and speculative execution.
- Proof & Bug Hunting: Apply model checking, equivalence checking, and abstraction to reach full or bounded proofs, and hunt deep bugs in areas such as cache coherence, memory consistency, and speculative execution.
- Hands-on formal techniques - model checking and/or equivalence checking - through to proof convergence.
Responsibilities
- Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads.
- Drive the verification scope and formal test plan for each verification problem - turning the micro-architecture specification into the to prove.
- Debug & Design Feedback:
- Build and maintain the end-to-end formal flow - automation (Python/TCL), assertion libraries shared across formal and simulation, and tool-issue resolution with vendors.
- Review formal setups and proofs with the design team, and partner closely across the DV team.
- Plan & Strategy: Drive the verification scope and formal test plan for each verification problem - turning the micro-architecture specification into the to prove.
- Debug & Design Feedback: Debug counterexamples to root cause and partner directly with designers to fix and improve the micro-architecture.
- Flow & Automation: Build and maintain the end-to-end formal flow - automation (Python/TCL), assertion libraries shared across formal and simulation, and tool-issue resolution with vendors.
- Cross-functional Collaboration: Review formal setups and proofs with the design team, and partner closely across the DV team.
- 15+ years (Principal) or 4+ years (Senior Engineer) of design-verification experience, with hands-on formal verification.
Requirements
- Degree in Electrical/Computer Engineering, Computer Science, or Mathematics, or equivalent practical experience.
- Strong knowledge of CPU micro-architecture and digital logic.
- Proficiency with industry formal tools (e.g. Cadence JasperGold, Synopsys VC Formal, Siemens Questa Formal).
Nice to have
- Strong scripting (Python
- TCL/Perl a plus), analytical, and debug skills.
Compensation
- $140k-$250k
Company info
- We are seeking Formal Verification Engineers at multiple levels - from Senior Engineer to Principal level - to help prove the Nuvacore CPU correct with formal methods.
- As part of the design verification (DV) team, you will turn micro-architecture specifications into, build the environments to prove them, and use model checking and equivalence checking to exhaustively hunt deep, corner-case bugs - establishing correctness long before silicon, working shoulder-to-shoulder with the design team.
This listing is sourced directly from Nuvacore's careers page and normalized into a canonical job model.