Staff Applications Engineer

Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.

You Are

Working directly with customers does not intimidate you. You can walk into a design team’s environment, assess their RTL, their coverage gaps, and their tool setup, and walk out with a concrete plan that makes our products work for them, not against them. You do not sell vaporware. You diagnose real bottlenecks, whether it is a poorly constrained environment, a design that is blowing up state space, or a team that does not yet know how to write properties that matter.

You are technical enough to debug why a productrun is stuck and pragmatic enough to know when to pivot the approach. You can explain a bounded proof failure to a design lead in two sentences and then turn around and file a detailed enhancement request with R&D. At Synopsys, you will work with customers who are building the chips that power everything, and what you help them verify today ships in products millions of people use tomorrow.

What You’ll Be Doing

• Lead formal verification deployments with customers, assessing their design environments, verification gaps, and RTL complexity to recommend methodologies that actually fit their workflow
• Diagnose root causes of formal tool performance issues, whether it is state space explosion, over-constrained environments, or poorly scoped properties, and optimize formal testbenches and abstraction strategies to get results
• Identify which design blocks and verification scenarios are good candidates for formal property checking, sequential equivalence checking, connectivity checking, or formal coverage analysis
• Develop and deliver technical training on new formal features and product updates, translating release notes into practical guidance that helps customers adopt capabilities faster
• Work directly with Synopsys R&D and product engineering teams to communicate customer priorities, tool limitations, and feature requests that shape product roadmaps
• Support customers through complex formal runs, including data path logic verification, math function checks, and assertion-based verification integration
• Build reusable formal verification flows and best practices that scale across customer engagements and design types

The Impact You Will Have

• Enable customers to catch critical design bugs earlier in the verification cycle, reducing costly re-spins and time-to-market delays
• Drive adoption of formal verification across customer organizations, turning skeptical design teams into confident users who rely on formal as part of their standard methodology
• Influence Synopsys product direction by surfacing real customer pain points and use cases that R&D would not see otherwise
• Reduce formal runtime bottlenecks and false negatives, making tools faster and more reliable for production verification environments
• Build customer trust and long-term relationships by solving hard technical problems that other vendors could not crack
• Expand the footprint of Synopsys formal solutions within accounts, proving value on one block and scaling to full SoC verification programs
• Contribute to the formal verification community inside Synopsys by documenting what works, what does not, and why, so the next engineer does not start from zero

• Bachelor’s or Master’s degree in Electrical Engineering or Computer Engineering from an accredited institution
• 5-7 years of hands-on experience in RTL design or verification, deploying advanced verification methodologies in production environments
• Deep understanding of formal verification applications including formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking
• Strong grasp of hardware design languages like Verilog or VHDL and the ability to read and reason about micro-architecture and RTL implementations
• Proficiency in Unix/Linux environments with solid scripting skills in Tcl, Perl, Python, and shell scripting (bash, csh) for automation and flow development
• Experience with assertion-based verification is strongly preferred, prior hands-on use of formal verification tools is a significant plus
• Exposure to verification consulting or managing verification responsibility for complex hardware designs is desirable

Who You Are

• You can walk into a customer meeting, listen to a verification challenge, and sketch out a formal approach on a whiteboard that makes sense to both the verification lead and the design architect
• You are comfortable working autonomously, you do not wait for someone to tell you what to investigate next when a formal run fails or a customer is stuck
• You know how to prioritize, when a customer has five problems, you can figure out which two actually matter and which three are noise
• You have strong written and verbal communication skills, you can write a clear bug report, deliver a training session, and explain a bounded proof result without losing your audience
• You push back when a proposed formal methodology does not fit the design or the timeline, you care more about what works than what sounds impressive
• You are curious about why things break, whether it is a tool, a testbench, or a design assumption, and you do not stop until you understand the root cause

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

In addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S. Apply Now Synopsys maintains a workplace where all personnel, customers, and vendors are treated with dignity, fairness, and respect. We maintain worldwide policies in our Work Rules Policy, which is applicable to all employees in furtherance of these principles. We pride ourselves on providing a healthy and productive work environment that is free from discrimination and harassment based on race, color, religion, gender, gender identity, sexual orientation, marital status, veteran status, age, national origin, citizenship, ancestry, physical or mental disability, pregnancy, medical condition, and any other characteristic protected by law. For applicants and employees with disabilities, we also make reasonable accommodations consistent with applicable laws and regulations. We are each expected to do our part to create a healthy and productive work environment for everyone. This includes bringing issues to management’s attention when you believe certain conditions are distracting from a good work environment. Our Work Rules Policy also allows you to raise concerns with other Synopsys managers. If employees are still unable to resolve their concerns, their disputes may be resolved through our Internal Issue Resolution Process Policy. In addition, all managers and employees in positions of authority have a special obligation to maintain and support a healthy and productive work environment.