Formal Verification Engineer
lubis-eda
About this role
A Formal Verification Engineer at LUBIS EDA works with clients to verify RTL designs, develop assertions, and improve verification processes through software automation. The role involves analyzing designs, debugging failures, and collaborating with both clients and internal teams to ensure high-quality project delivery.
Skills
About lubis-eda
lubis-eda.comLUBIS EDA is a formal verification and EDA software company that helps semiconductor teams achieve first‑silicon success by finding and removing bugs from silicon designs before tape‑out. Their flagship formal verification station and tools integrate into chip design flows to reduce debug cycles, keep projects on budget, and meet tape‑out schedules. LUBIS serves SoC designers, IP vendors and semiconductor firms seeking higher silicon quality and predictable deliveries. The company positions itself as a best‑in‑class provider of formal verification technology and support.
About lubis-eda
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for lubis-eda.
Salary
$138k – $185k
per year