# Member of Technical Staff - Formal Verification at Architect

- Company: Architect
- What the company does: Architect gives traders customizable infrastructure that reimagines access to international markets for digital assets. Backed by Cyber Fund.
- Company website: https://architect.co
- Type: Startups
- Level: Senior
- Location: Palo Alto
- Work setup: On-site
- Posted: 2026-08-17
- Apply by: 2026-10-14
- Apply: https://jobs.ashbyhq.com/architect/22ee8ef4-e588-431f-9362-48ea35442276
- Page: https://www.1752.vc/careers/jobs/architect-member-of-technical-staff-formal-verification/

## About the role

As a Member of Technical Staff - Formal Verification Engineer at Architect Labs, you'll own formal verification of the AI-generated chip design artifacts, from early specifications through tape-out. You'll turn design intent into assertions, build formal environments, and work directly with designers to formally verify complex designs.

## What they're looking for

- Degree: BS or MS in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience
- RTL and Assertions: Strong SystemVerilog and SVA skills. You can read complex RTL, understand the microarchitecture, and write properties that accurately capture its intended behavior
- Formal Tools: Hands-on experience with tools such as Cadence Jasper, Synopsys VC Formal, or Siemens Questa Formal. You can build verification environments, debug failed proofs, and improve proof convergence
- Proof Techniques: Practical understanding of model checking, induction, abstraction, and assume-guarantee reasoning. You know how constraints and modeling choices affect what a proof actually establishes
- Hardware Understanding: Comfortable reasoning about control logic, pipelines, arbitration, buffering, and interface protocols, including reset behavior, backpressure, and concurrent transactions
- Engineering Rigor: Strong scripting skills in Python, Tcl, or similar languages. You build repeatable workflows and keep verification results traceable to requirements and design revisions

Tags: ASIC

Source: 1752vc Careers, https://www.1752.vc/careers/jobs/architect-member-of-technical-staff-formal-verification/