Formal Verification Engineer • Senior

Who you are

You have extensive experience in Formal Verification, with a strong understanding of SVA and Property Verification — you've successfully implemented Formal Methods and abstractions in previous roles. Your scripting skills enable you to automate and enhance verification processes, ensuring high-quality outputs. You thrive in collaborative environments, working closely with chip designers and ML scientists to innovate and improve verification tools. Your background in AI and EDA gives you a unique perspective on the challenges and opportunities in chip design.

You are passionate about leveraging AI to transform traditional chip design methodologies — you understand the complexities involved and are eager to contribute to the development of next-generation verification tools. Your ability to communicate effectively with cross-functional teams allows you to bridge the gap between hardware and software, ensuring that all aspects of the design process are aligned.

What you'll do

As a Formal Verification Engineer at ChipStack, you will collaborate with machine learning and software teams to develop advanced, AI-driven solutions for chip design and verification. You will be responsible for enhancing the capabilities of Chipstack’s Formal Verification Agent, directly impacting the quality and features of the tools used in chip design. Your role will involve applying your expertise in Formal Verification to create innovative methodologies that improve verification efficiency and accuracy.

You will work alongside experienced chip designers who have built complex chips, as well as ML scientists who have trained large language models at scale. This collaboration will allow you to gain insights into the latest advancements in AI and how they can be applied to formal verification processes. You will also be involved in scripting and automating verification tasks, ensuring that the tools you develop are user-friendly and effective.

What we offer

At ChipStack, we prioritize the well-being of our team members, offering competitive health insurance and unique benefits such as catered lunches. As an early-stage company, we provide early-stage equity opportunities, allowing you to share in the success of our innovative solutions. We believe in fostering a supportive and inclusive work environment where every team member can thrive and contribute to our mission of revolutionizing chip design through AI.