layiq
/la·yiq/adjective
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…
Job opportunity
Member of Technical Staff - Formal Verification
Architect
Palo Alto, California, United States
Source: Architect careers · View original posting
Employer job description
From Architect's posting. “We” and “our” refer to the employer.
About Architect Labs
Architect is a frontier AI lab for specialized computing systems. We partner with AI labs, clouds / neoclouds, quant firms, physical AI companies, fabless companies, IP providers, system companies and advanced fabs to tape-out custom hardware co-designed for their 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 has led research teams at nearly every frontier AI lab and led chip programs for some of the most complex SoCs in the world.
What You'll Do
- 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.
- Develop and execute formal verification plans using AI for hardware blocks and subsystems. Identify critical properties, define the scope of verification, and establish clear criteria for closure.