ChipStack
Formal Verification Engineer — Applying LLMs for Chip Design
ChipStack, San Jose, California, United States, 95199
Formal Verification Engineer — Applying LLMs for Chip Design
Join to apply for the
Formal Verification Engineer — Applying LLMs for Chip Design
role at
ChipStack Formal Verification Engineer — Applying LLMs for Chip Design
5 days ago Be among the first 25 applicants Join to apply for the
Formal Verification Engineer — Applying LLMs for Chip Design
role at
ChipStack Get AI-powered advice on this job and more exclusive features. About Us
Chips are at the center of today's tech-driven world. But how we design them has not changed in decades, while their complexity and specialization have skyrocketed due to increasing performance demands from applications like AI. We want to change that. About Us
Chips are at the center of today's tech-driven world. But how we design them has not changed in decades, while their complexity and specialization have skyrocketed due to increasing performance demands from applications like AI. We want to change that.
Our team is small, technical, and fast-moving. We’ve built and shipped at the intersection of AI, EDA, and systems software, with deep roots at companies like Qualcomm, Nvidia, Google, Meta, and the Allen Institute for AI. We’re backed by top investors including Khosla Ventures, Cerberus, and Clear Ventures, and already deployed with 10+ innovative customers—from Fortune 100s to cutting-edge AI silicon startups.
About This Role
We are looking for an experienced
Formal Verification Engineer
to join our dynamic team. Ideal candidate has experience with all aspects of Formal Verification — SVA, Property Verification, Formal Methods/Abstractions, Methodology and scripting. You will work on developing Chipstack’s Revolutionary
Formal Verification Agent , directly impacting the tool quality and features.
You will work alongside highly experienced chip designers who have built complex chips, ML scientists who have trained LLMs at scale, and top-notch infrastructure and software engineers. You will leverage your experience in Formal Verification to build the next generation of AI-enabled Verification tools.
Key Responsibilities:
Collaborate with ML and software teams to develop advanced, AI-driven chip design / Formal Verification solutions. Learn from and work closely with strong ML leads to understand and implement cutting-edge technologies in chip design. Engage directly with customer projects, applying your expertise to develop practical and innovative solutions. Contribute to the integration of LLM technologies into the chip design process, enhancing design efficiency and performance. Stay updated with the latest advancements in chip design and AI/ML technologies to continually improve methodologies and solutions.
Qualifications:
Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related field. Strong experience in Formal Verification. You have implemented complex Formal Verification testbenches using Formal Methods. Proficient in SVA and SystemVerilog. Experience with industry standard tools (JasperGold, VCFormal, Verdi) Solid programming skills (e.g., Python, C/C++, Verilog, SystemVerilog). Experience or interest in AI/ML technologies, especially in the context of LLMs, is highly desirable. Strong problem-solving abilities and a proactive attitude toward learning and innovation. Excellent communication skills and the ability to work effectively in a team-oriented environment. You are self-motivated and driven. You are not afraid of difficult problems and enjoy venturing into areas you have not explored before.
Why Join Us?
As a young startup funded by top VCs in Silicon Valley, this is a unique opportunity that you can’t really get anywhere else:
Personal impact — The opportunity to build something from the ground up and define a new product for an industry that is at the core of the modern technological revolution. Access to unique learning opportunities — With the Allen Institute for AI (AI2) as a co-founder, our team gets access to numerous talks by leading AI researchers/paper authors, knowledge sharing amongst the community of hundreds of engineers working for AI2 companies, and much more. As a part of the multi-disciplinary team, you get to interact with people from very different backgrounds (from chip design to AI to software engineers). Founding title — You will be one of our first hires. For the rest of our days, no matter how many thousands of people join after you, you will always have that honor and distinction. Early-stage equity — Early-stage risk comes with early-stage equity for you. And none of us would be here if we didn’t think our company would create tremendous value over time. Benefits — In spite of being an early-stage company, taking care of our team is a priority for us. From health insurance to catered lunches, we continue to add unique benefits.
Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Quality Assurance Industries Software Development Referrals increase your chances of interviewing at ChipStack by 2x Get notified about new Validation Engineer jobs in
San Jose, CA . Menlo Park, CA $122,000.00-$169,000.00 2 weeks ago San Jose, CA $141,280.00-$211,920.00 10 hours ago Quality Management System Engineer - Operations
Santa Clara, CA $108,000.00-$172,500.00 19 hours ago San Jose, CA $100,000.00-$130,000.00 2 weeks ago San Jose, CA $90,000.00-$120,000.00 1 month ago Verification and Validation Engineer/Senior V&V Engineer
San Mateo County, CA $120,000.00-$150,000.00 12 hours ago San Jose, CA $159,800.00-$202,300.00 2 weeks ago Verification and Validation Engineer/Senior V&V Engineer
Santa Clara, CA $120,000.00-$150,000.00 1 day ago Fremont, CA $90,000.00-$100,000.00 3 weeks ago Verification and Validation Engineer/Senior V&V Engineer
Fremont, CA $120,000.00-$150,000.00 12 hours ago Fremont, CA $100,000.00-$125,000.00 4 days ago Senior Supplier Quality Engineer, Mechanicals
Sunnyvale, CA $138,000.00-$202,000.00 2 weeks ago Fremont, CA $90,000.00-$100,000.00 3 weeks ago Test and Validation Engineer II, Drive Unit Test and Validation
San Jose, CA $120,000.00-$150,000.00 3 days ago Supplier Quality Engineer, Body in White
Systems Validation Engineer, Efficiency & EV Systems
Manufacture and Test Engineer, Rack Integration
Sunnyvale, CA $115,000.00-$166,000.00 6 days ago Milpitas, CA $120,000.00-$170,000.00 3 weeks ago Sr. Test and Validation Engineer, Drive Unit Test and Validation
San Jose, CA $76,100.00-$138,900.00 1 day ago Senior Test and Validation Engineer, Drive Unit Test and Validation
San Jose, CA $130,000.00-$178,000.00 5 days ago Redwood City, CA $112,700.00-$155,000.00 1 week ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr
Join to apply for the
Formal Verification Engineer — Applying LLMs for Chip Design
role at
ChipStack Formal Verification Engineer — Applying LLMs for Chip Design
5 days ago Be among the first 25 applicants Join to apply for the
Formal Verification Engineer — Applying LLMs for Chip Design
role at
ChipStack Get AI-powered advice on this job and more exclusive features. About Us
Chips are at the center of today's tech-driven world. But how we design them has not changed in decades, while their complexity and specialization have skyrocketed due to increasing performance demands from applications like AI. We want to change that. About Us
Chips are at the center of today's tech-driven world. But how we design them has not changed in decades, while their complexity and specialization have skyrocketed due to increasing performance demands from applications like AI. We want to change that.
Our team is small, technical, and fast-moving. We’ve built and shipped at the intersection of AI, EDA, and systems software, with deep roots at companies like Qualcomm, Nvidia, Google, Meta, and the Allen Institute for AI. We’re backed by top investors including Khosla Ventures, Cerberus, and Clear Ventures, and already deployed with 10+ innovative customers—from Fortune 100s to cutting-edge AI silicon startups.
About This Role
We are looking for an experienced
Formal Verification Engineer
to join our dynamic team. Ideal candidate has experience with all aspects of Formal Verification — SVA, Property Verification, Formal Methods/Abstractions, Methodology and scripting. You will work on developing Chipstack’s Revolutionary
Formal Verification Agent , directly impacting the tool quality and features.
You will work alongside highly experienced chip designers who have built complex chips, ML scientists who have trained LLMs at scale, and top-notch infrastructure and software engineers. You will leverage your experience in Formal Verification to build the next generation of AI-enabled Verification tools.
Key Responsibilities:
Collaborate with ML and software teams to develop advanced, AI-driven chip design / Formal Verification solutions. Learn from and work closely with strong ML leads to understand and implement cutting-edge technologies in chip design. Engage directly with customer projects, applying your expertise to develop practical and innovative solutions. Contribute to the integration of LLM technologies into the chip design process, enhancing design efficiency and performance. Stay updated with the latest advancements in chip design and AI/ML technologies to continually improve methodologies and solutions.
Qualifications:
Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related field. Strong experience in Formal Verification. You have implemented complex Formal Verification testbenches using Formal Methods. Proficient in SVA and SystemVerilog. Experience with industry standard tools (JasperGold, VCFormal, Verdi) Solid programming skills (e.g., Python, C/C++, Verilog, SystemVerilog). Experience or interest in AI/ML technologies, especially in the context of LLMs, is highly desirable. Strong problem-solving abilities and a proactive attitude toward learning and innovation. Excellent communication skills and the ability to work effectively in a team-oriented environment. You are self-motivated and driven. You are not afraid of difficult problems and enjoy venturing into areas you have not explored before.
Why Join Us?
As a young startup funded by top VCs in Silicon Valley, this is a unique opportunity that you can’t really get anywhere else:
Personal impact — The opportunity to build something from the ground up and define a new product for an industry that is at the core of the modern technological revolution. Access to unique learning opportunities — With the Allen Institute for AI (AI2) as a co-founder, our team gets access to numerous talks by leading AI researchers/paper authors, knowledge sharing amongst the community of hundreds of engineers working for AI2 companies, and much more. As a part of the multi-disciplinary team, you get to interact with people from very different backgrounds (from chip design to AI to software engineers). Founding title — You will be one of our first hires. For the rest of our days, no matter how many thousands of people join after you, you will always have that honor and distinction. Early-stage equity — Early-stage risk comes with early-stage equity for you. And none of us would be here if we didn’t think our company would create tremendous value over time. Benefits — In spite of being an early-stage company, taking care of our team is a priority for us. From health insurance to catered lunches, we continue to add unique benefits.
Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Quality Assurance Industries Software Development Referrals increase your chances of interviewing at ChipStack by 2x Get notified about new Validation Engineer jobs in
San Jose, CA . Menlo Park, CA $122,000.00-$169,000.00 2 weeks ago San Jose, CA $141,280.00-$211,920.00 10 hours ago Quality Management System Engineer - Operations
Santa Clara, CA $108,000.00-$172,500.00 19 hours ago San Jose, CA $100,000.00-$130,000.00 2 weeks ago San Jose, CA $90,000.00-$120,000.00 1 month ago Verification and Validation Engineer/Senior V&V Engineer
San Mateo County, CA $120,000.00-$150,000.00 12 hours ago San Jose, CA $159,800.00-$202,300.00 2 weeks ago Verification and Validation Engineer/Senior V&V Engineer
Santa Clara, CA $120,000.00-$150,000.00 1 day ago Fremont, CA $90,000.00-$100,000.00 3 weeks ago Verification and Validation Engineer/Senior V&V Engineer
Fremont, CA $120,000.00-$150,000.00 12 hours ago Fremont, CA $100,000.00-$125,000.00 4 days ago Senior Supplier Quality Engineer, Mechanicals
Sunnyvale, CA $138,000.00-$202,000.00 2 weeks ago Fremont, CA $90,000.00-$100,000.00 3 weeks ago Test and Validation Engineer II, Drive Unit Test and Validation
San Jose, CA $120,000.00-$150,000.00 3 days ago Supplier Quality Engineer, Body in White
Systems Validation Engineer, Efficiency & EV Systems
Manufacture and Test Engineer, Rack Integration
Sunnyvale, CA $115,000.00-$166,000.00 6 days ago Milpitas, CA $120,000.00-$170,000.00 3 weeks ago Sr. Test and Validation Engineer, Drive Unit Test and Validation
San Jose, CA $76,100.00-$138,900.00 1 day ago Senior Test and Validation Engineer, Drive Unit Test and Validation
San Jose, CA $130,000.00-$178,000.00 5 days ago Redwood City, CA $112,700.00-$155,000.00 1 week ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr