Member Of Technical Staff

About Architect Labs

Architect is a frontier AI lab for custom silicon. We partner with frontier labs, clouds / neoclouds, physical AI companies, and advanced fabs to tape-out custom chips co-designed for next-generation AI workloads. Our goal is to compress end-to-end software to silicon timelines, and maximize intelligence per watt and per dollar for the world. We are a small exceptional team across silicon, systems, software and frontier AI. Our team have led research teams at nearly every frontier AI lab, and at some of the most complex SoCs in the world.

What You'll Do

As a Member of the Technical Staff - Formal Methods at Architect Labs, you'll work on the formal foundations of our chip design flow. You will own a critical layer of the stack that gives our system the rigor required to take AI-generated hardware artifacts into verified production-grade silicon. This is fundamental research applied directly to industry-grade chips, with tight feedback loops between theory and tape-out.

• Design and implement the formal specification language and intermediate representation that sits at the heart of our flow, across hardware specifications, testbench, assertions and RTL.

• Build the proof-obligation generator that emits checkable claims (entailment of assertions from spec, refinement of RTL from spec) and the toolchain that discharges them via SMT solvers, model checkers, and proof assistants as appropriate.

• Establish the soundness arguments and coverage-adequacy methodology that let us claim, with evidence, that our generated artifacts faithfully characterize the spec.

• Co-design with our verification methodology and ML research teams: your formal layer is the oracle the agent loop optimizes against, and the boundary between "provable" and "tested" is a decision you make and defend.

• This is a hands-on, 0→1 role where you'll own the formal stack end-to-end: spec language, IR, proof obligations, solver integration, and the empirical evidence that the whole thing works on real blocks.

What We'd Like to See

Qualifications & Skills:

• Degree: PhD in Computer Science, EECS, or a closely related field, with a dissertation or equivalent body of work in formal methods applied to hardware or systems. Exceptional candidates with a BS/MS and a strong industrial track record in formal verification will be considered.

• Formal Methods Depth: Deep expertise in at least two of: temporal logic and model checking, SMT-based verification, refinement-based specification, or proof assistants applied to hardware/distributed/concurrent/low-level systems.

  • Experience with formal frameworks or proof tools, such as TLA+, Lean, Coq, or similar.