e4bdd5cd-618 Senior Manager Formal Verification Applications Engineering Join us to transform the future through continuous technological innovation. As a Senior Manager in Formal Verification Applications Engineering, you will be responsible for managing a team of product application engineers to champion the adoption of Synopsys Formal Verification Applications across strategic customer accounts. You will develop and nurture strategic partnerships with top-tier customers to understand and address their evolving verification needs. You will drive and facilitate management and technical review meetings with customers, ensuring alignment and value delivery. You will perform competitive analysis to inform the development of innovative formal verification technologies and methodologies. You will collaborate closely with R&D and Product Management teams to define and implement new verification flows and functionalities. You will scope and execute formal consulting services, ensuring successful delivery and customer satisfaction. You will define formal verification methodologies to enhance customer productivity and streamline verification processes. You will lead the development of assertion IPs tailored to meet specific customer requirements.

Accelerate the adoption of industry-leading formal verification solutions, enabling customers to achieve robust, high-quality silicon designs. Strengthen Synopsys' reputation as a trusted partner for verification innovation and excellence. Drive customer success by delivering tailored consulting services and assertion IPs that address complex verification challenges. Enhance productivity and efficiency for customers through advanced formal methodologies and flows. Influence the direction of formal verification technology by collaborating with R&D and Product Management teams. Foster a culture of technical excellence and inclusion within your team, empowering members to grow and contribute meaningfully. Enable strategic customers to meet critical industry requirements such as design security, automotive safety, and verification signoff.

XML job scraping automation by YubHub

]]> employee senior onsite RTL design, Verification methodologies, Assertion-based verification, Unix/Linux automation shell scripting, Programming languages such as Tcl, Perl, and Python, Formal property verification testbench development, Floating point arithmetic operations, C/C++, IEEE math libraries, Security architecture, Automotive safety (FuSa), Verification signoff with formal Engineering Technology Synopsys https://logos.yubhub.co/careers.synopsys.com.png Synopsys is a leading provider of electronic design automation (EDA) software and intellectual property (IP) used in the design, verification, and manufacturing of advanced semiconductors and electronic systems. https://careers.synopsys.com https://careers.synopsys.com/job/bengaluru/senior-manager-formal-verification-applications-engineering/44408/93365523248 Bengaluru 2026-04-05