Member of Technical Staff - Formal Methods at Architect Labs · Palo Alto, CA · Joined
AL
Member of Technical Staff - Formal Methods
Architect Labs · Palo Alto, CA · Just now · 0 applicants
NewOn-siteFull-timeLead
Pay
Pay not listed
Workplace
On-site
Job type
Full-time
Level
Lead
Source: jobright · Posted by joined-scrapper
About the role
Architect Labs seeks a Member of Technical Staff to build and own the formal verification stack for its custom chip design flow, covering specification languages, proof-obligation generation, solver integration, and soundness/coverage methods. The role requires deep formal methods expertise and strong software engineering skills to turn research-grade ideas into production components on a chip-design timeline.
What you’ll do
Own the formal stack for the chip design flow
Develop specification languages
Generate proof obligations
Integrate SMT solvers
Establish soundness and coverage adequacy methods
Build production formal verification toolchains
What you’ll need
PhD in CS, EECS, or related field with formal methods focus, or exceptional BS/MS with strong industrial track record
Deep expertise in at least two of: temporal logic/model checking, SMT-based verification, refinement-based specification, or proof assistants
Experience with formal frameworks such as TLA+, Lean, Coq, or similar
Proven history of applying formal methods to shipped artifacts
Strong software engineering skills with compiler-style infrastructure and automated pipelines
Industrial formal verification experience at leading silicon companies or specialized formal methods firms
Original job description
Architect Labs is hiring a Member of Technical Staff - Formal Methods to build the formal foundations of its custom chip design flow. The role owns the formal stack, including specification languages, proof-obligation generation, solver integration, and methods for establishing soundness and coverage adequacy.PhD in Computer Science, EECS, or a closely…