ChipStack · 2 months ago
Formal Verification Engineer — Applying LLMs for Chip Design
San Jose, CA
Full-time
Onsite
Mid, Senior LevelChipStack is a startup focused on revolutionizing chip design through AI-driven solutions. They are looking for an experienced Formal Verification Engineer to develop their Formal Verification Agent and work collaboratively with chip designers and ML scientists to enhance verification tools.
AI InfrastructureArtificial Intelligence (AI)Information TechnologySemiconductor
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
Qualification
Required
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)
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
Preferred
Experience or interest in AI/ML technologies, especially in the context of LLMs, is highly desirable
Benefits
Health insurance
Catered lunches
Company
ChipStack
Chipstack utilizes generative AI-driven tools to reimagine chip design.
Founded in 2023
11-50 employees
H1B Sponsorship
ChipStack has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2)
2024 (1)
Funding
Current Stage
Early StageTotal Funding
unknownKey Investors
Khosla Ventures
2025-11-10Acquired
2025-01-01Seed
Recent News
Techgist Africa | Africa Leading Tech News, Reviews and Tips
2025-11-14
Company data provided by crunchbase