Senior Manager Formal Verification Applications Engineering
SynopsysJob Title
Senior Manager Formal Verification Applications Engineering
Role Summary
The Senior Manager of Formal Verification Applications Engineering will lead and manage a team focused on formal verification technologies, ensuring high-quality applications and solutions for clients. The role involves driving product excellence and fostering collaboration within the engineering team.
Experience Level
Senior; typically requires 7+ years of experience in formal verification or a related field.
Responsibilities
The main responsibilities include:
- Leading the formal verification applications engineering team to deliver high-quality solutions.
- Collaborating with cross-functional teams to enhance product offerings.
- Driving project management and product development timelines.
- Ensuring adherence to industry standards and best practices in formal verification.
- Providing mentorship and guidance to team members.
Requirements
Must-have qualifications include:
- Master's degree in Computer Science, Electrical Engineering, or related field.
- 7+ years of experience in formal verification applications.
- Strong knowledge of formal methods and verification tools.
- Proven leadership skills and experience managing technical teams.
- Excellent problem-solving and communication skills.
Education Requirements
A Master's degree in Computer Science, Electrical Engineering or a closely related discipline is required.
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.
