[Hiring] Applications Engineer - EDA Verification @Synopsys

Role Description

We Are

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

• You have spent enough time in semiconductor design or verification to know that the most challenging bugs are often the ones simulation alone cannot easily expose.
• You understand the value of formal verification in proving correctness, uncovering corner-case failures, and providing confidence that complex designs behave as intended under all scenarios.
• You have debugged enough verification problems to recognize when an issue originates in the design, the verification environment, the methodology, or the tool itself.
• You are comfortable working directly with customer engineers and technical leads, helping them translate verification goals into effective formal verification strategies.
• You enjoy understanding the design architecture, identifying verification gaps, and helping customers apply formal technologies effectively within real-world development flows.
• You are eager to deepen your expertise in advanced verification technologies including property checking, assertion-based verification, equivalence checking, coverage analysis, and automated formal applications.

At Synopsys, you will work directly with semiconductor companies developing the world's most advanced chips. You will help customers achieve verification signoff through industry-leading formal verification solutions, collaborate closely with experts who have solved some of the industry's toughest verification challenges, and develop deep technical expertise that will position you as a trusted authority in functional verification and design correctness.

Responsibilities

• Leverage AI-powered verification technologies to assist with property creation, debug analysis, proof convergence, coverage closure, and methodology recommendations.
• Provide technical support to customers in Sweden and across the Nordic region using Synopsys verification tools including VC Formal, Verdi and VCS.
• Diagnose and resolve customer issues by working directly with design and verification teams, both remotely and on-site at customer locations.
• Reproduce customer problems in lab environments, isolate root causes, and deliver solutions or escalate to senior engineers and R&D when needed.
• Deliver tool training sessions and technical presentations to customer teams, helping them adopt verification best practices and improve their workflows.
• Document solutions, known issues, and workarounds to build shared knowledge within the applications team.

The Impact You Will Have

• Help Nordic customers keep their verification schedules on track by resolving tool issues and setup problems before they become project blockers.
• Improve customer adoption and effective use of Synopsys formal verification and AI tools through hands-on training and technical guidance.
• Build trust with customer engineering teams by showing up, listening carefully, and following through on commitments.
• Contribute to the knowledge base and internal documentation that helps the entire European applications team resolve issues faster.
• Provide field feedback to R&D that helps shape future tool improvements based on real customer workflows and pain points.
• Strengthen your own technical foundation in formal verification and how AI can help improve EDA tools.

Qualifications

• Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related semiconductor or electronics discipline.
• 2-5 years of experience in semiconductor design, ASIC verification, or EDA applications support.
• Understanding of digital design formal verification concepts and simulation flow fundamentals.
• Based in or near Stockholm, Sweden, with an opportunity to travel regularly within the Nordic region.
• Solid communication skills in English, both written and verbal, with the ability to explain technical issues clearly.
• Experience with Synopsys verification tools such as VC Formal, VCS or Verdi is a plus, training will be provided where needed.

Who You Are

• You can take a customer bug report that says "the tool is broken," ask the right follow-up questions, and figure out whether it is a license issue, a setup mistake, or an actual tool defect.
• You are comfortable working independently but know when to ask for help, and you do it before a small problem becomes a customer escalation.
• You can explain a technical concept to someone who does not share your background without talking down to them or losing the thread.
• You manage your own time and commitments; if you say you will follow up with a customer by Thursday, you do it.
• You are not afraid to say "I don't know, but I will find out," and then actually find out.
• You can spend a day on-site with a customer team, absorb what they are working on, and leave them with something useful.

The Team You'll Be Part Of

You will join the European EDA Applications Engineering Team, working closely with experienced engineers who support Synopsys verification customers across the region.

Rewards and Benefits

We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings.