Member of Technical Staff - Formal Verification
Architect Labs · Palo Alto
CHECKED 21H AGO
Infrastructureonsite
At a glance
Highlights
- Own formal foundations giving AI-generated hardware rigor for production silicon.
- Design spec language and IR spanning specs, testbench, assertions and RTL.
- Define provable vs tested boundary as oracle for agent optimization loop.
What they offer
- Competitive salary and meaningful equity stake
- Fast-paced startup with autonomy and visible impact
- Foundational role at the intersection of formal methods, AI and silicon
Ideal candidate
Fast-moving builder with PhD-level depth in formal methods who cares about shipping provably correct silicon. You thrive owning 0→1 research-to-production systems at the intersection of AI and hardware.
Requirements
- PhD in Computer Science, EECS or related field with work in formal methods for hardware or systems
- Deep expertise in at least two of temporal logic and model checking, SMT-based verification, refinement-based specification, or proof assistants
- Demonstrated history applying formal methods to a real artifact that shipped
- Strong software engineering skills with compiler-style infrastructure and automated pipelines
- Fast-moving builder who ships research-grade ideas into production components
Lab profile
About Architect Labs
Frontier AI lab for custom silicon co-designed for next-generation AI workloads.
What they build
- Custom AI chips
Known for
- End-to-end software-to-silicon co-design
- Intelligence per watt and per dollar optimization
- Expertise across silicon, systems, software and AI
Key facts
- Small team