Y-Axis Jobs Logo
Send us feedback
telephone  +91 7670 800 001
Log in Sign up Try Premium
Sr Architect R&D-Formal Verification at Synopsys
Sunnyvale, California, USA -
Full Time

Start Date

Immediate

Expiry Date

04 Dec, 25

Salary

318000.0

Posted On

04 Sep, 25

Experience

0 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

No

Skills

Good communication skills

Industry

Information Technology/IT

Description
Responsibilities
  • Architect and design innovative solutions to enhance verification runtime, memory efficiency, and support advanced synthesis optimizations.
  • Research, develop, and prototype formal verification strategies leveraging AI/ML and distributed computing technologies.
  • Analyze, test, and debug the Formality code base to continuously improve product performance and reliability.
  • Collaborate with cross-functional teams including R&D, customer support, and sales to capture customer requirements and drive product direction.
  • Deliver high-quality, production-ready software on schedule, ensuring robust documentation and regression testing.
  • Mentor junior engineers,