Member of Technical Staff - Formal Methods
Architect Labs, Palo Alto
What you will 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.