About the job
About Us
At Chipstack, we recognize that chips are the backbone of modern technology, yet the design processes have not evolved significantly over the decades. The rising complexity and specialization needed to meet performance demands from AI applications drive our mission to innovate the chip design landscape.
Our agile and technically adept team is composed of experts with backgrounds in esteemed companies like Qualcomm, Nvidia, Google, Meta, and the Allen Institute for AI. We’re supported by prominent investors such as Khosla Ventures, Cerberus, and Clear Ventures, and we have successfully partnered with over 10 pioneering customers, ranging from Fortune 100 firms to revolutionary AI silicon startups.
About This Role
We are on the lookout for a skilled Formal Verification Engineer to become a vital part of our innovative team. The ideal candidate will possess extensive experience in all areas of Formal Verification, including SVA, Property Verification, Formal Methods/Abstractions, and Methodology, along with scripting proficiency. In this role, you will contribute to the development of Chipstack’s groundbreaking Formal Verification Agent, playing a crucial part in enhancing the quality and capabilities of our tools.
You will collaborate closely with seasoned chip designers who have crafted intricate chips, machine learning scientists who have scaled LLM training, and exceptional infrastructure and software engineers. Your expertise in Formal Verification will be instrumental in creating the next generation of AI-integrated verification tools.

