Senior R&D Engineer, Formal Verification
SynopsysJob Title
Senior R&D Engineer, Formal Verification
Role Summary
Senior engineer on the Formality R&D team responsible for designing and implementing algorithms and tools for formal verification of chip designs. The role focuses on C++ development, solver techniques, and improving the performance and accuracy of Formality.
The position involves research and engineering activities, collaboration with other engineers, and translating research ideas into production-quality EDA tools.
Experience Level
Senior-level. Years of experience not specified.
Responsibilities
Key responsibilities include development, research, and collaboration to improve Formality's capabilities and performance.
- Develop and optimize C++ algorithms and data structures within the Formality codebase.
- Research and implement solver techniques such as SAT and BDDs.
- Debug, test, and refine existing code to improve reliability and performance.
- Collaborate on formal verification strategies with cross-functional engineering teams.
- Investigate and prototype distributed computing and machine learning approaches relevant to EDA.
- Convert research outcomes into usable tools and improve team coding standards and knowledge sharing.
Requirements
Required technical skills and experience for successful performance in this role.
- Must-have: Strong C++ programming skills and experience working with large codebases.
- Must-have: Solid understanding of algorithms, data structures, and heuristics.
- Must-have: Experience with formal verification or solver algorithms (e.g., SAT, BDDs).
- Must-have: Strong debugging, testing, and code-quality practices.
- Nice-to-have: Experience with distributed computing or applying machine learning techniques to EDA problems.
- Nice-to-have: Strong written and verbal communication; ability to explain technical concepts clearly.
Education Requirements
PhD, MS, or ME in Computer Science or Electrical Engineering is 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.
