Role Summary
As a Senior Staff Engineer in Formal Verification at Synopsys, you will tackle challenging problems in automated logical reasoning and symbolic computation, focusing on developing sophisticated solutions for large-scale industrial verification challenges.
Experience Level
Senior; 8-10 years of relevant experience required.
Responsibilities
In this role, you will:
- Design and implement advanced formal verification algorithms and proof engines for large-scale VLSI chip designs.
- Develop scalable, memory-efficient, and mathematically robust solvers for verification challenges.
- Enhance the Synopsys VC Formal platform by integrating innovative solutions.
- Collaborate with cross-functional teams to extend formal verification technologies.
- Engage with customers to assess their verification needs and deliver tailored solutions.
- Contribute to the verification community through publications and mentorship.
Requirements
We seek candidates with:
- 8-10 years of experience in formal methods and verification.
- Expertise in model checking, theorem proving, and equivalence checking.
- Strong proficiency in algorithms, data structures, and complexity analysis.
- Professional coding skills in C/C++, with experience in developing large-scale systems.
- Knowledge of hardware architecture and design languages like SystemVerilog (preferred but not required).
- Recognition in the formal verification community through publications.
Education Requirements
Not specified.
About the Company
Company: Synopsys
Headquarters: Mountain View, California, USA
Synopsys is a leading company in electronic design automation (EDA) and semiconductor IP solutions. It provides tools and services for designing and verifying complex semiconductor devices and systems. The company plays a pivotal role in the semiconductor industry, helping engineers innovate and deliver higher-quality products faster. Synopsys is committed to advancing technology standards and offers a range of software and hardware solutions to its clients globally.

Date Posted: 2026-04-13