Jobs

Architect is seeking a Founding Member of Technical Staff - Formal Methods to build the formal foundations of their AI-driven chip design flow. This hands-on role involves designing formal specification languages, building proof-obligation generators, and establishing soundness arguments for AI-generated hardware artifacts. The ideal candidate will have a PhD in Computer Science or a related field with deep expertise in formal methods applied to hardware, a proven track record of applying these methods to shipped artifacts, and strong software engineering skills. This is a unique opportunity to work at the intersection of formal methods, AI, and silicon, ensuring the rigor and verification of production-grade custom ASICs.