Applications Engineer - EDA Verification

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. Whether investigating a failing property, analyzing a convergence challenge, or diagnosing unexpected formal results, you know how to methodically narrow the problem space and drive toward root cause.

You are comfortable working directly with customer engineers and technical leads, helping them translate verification goals into effective formal verification strategies. You ask the right questions, explain complex concepts clearly, and can guide teams through property development, assertion creation, coverage analysis, and proof closure without relying on a predefined script.

Customer environments rarely match the textbook examples. That does not frustrate you. Instead, you enjoy understanding the design architecture, identifying verification gaps, and helping customers apply formal technologies effectively within real-world development flows. You can bridge the gap between theory and practice, enabling teams to deploy formal verification successfully on complex SoCs, IP blocks, and critical design components.

Learning new tools and methodologies excites you. Whether your experience comes from formal verification, simulation-based verification, or design engineering, 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.

What You'll Be Doing

Leverage AI-powered verification technologies to assist with property creation, debug analysis, proof convergence, coverage closure, and methodology recommendations, helping customers improve verification productivity while maintaining rigorous design correctness standards.Provide technical support to customers in Sweden and across the Nordic region using Synopsys verification tools including VC Formal, Verdi and VCSDiagnose and resolve customer issues by working directly with design and verification teams, both remotely and on-site at customer locationsReproduce customer problems in lab environments, isolate root causes, and deliver solutions or escalate to senior engineers and R&D when neededDeliver tool training sessions and technical presentations to customer teams, helping them adopt verification best practices and improve their workflowsDocument 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 blockersImprove customer adoption and effective use of Synopsys formal verification and AI tools through hands-on training and technical guidanceBuild trust with customer engineering teams by showing up, listening carefully, and following through on commitmentsContribute to the knowledge base and internal documentation that helps the entire European applications team resolve issues fasterProvide field feedback to R&D that helps shape future tool improvements based on real customer workflows and pain pointsStrengthen your own technical foundation in formal verification and how AI can help improve EDA tools, building skills that will serve you throughout your career in semiconductor engineering

What You'll Need

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

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 defectYou are comfortable working independently but you know when to ask for help, and you do it before a small problem becomes a customer escalationYou can explain a technical concept to someone who does not share your background without talking down to them or losing the threadYou manage your own time and commitments, if you say you will follow up with a customer by Thursday, you do itYou are not afraid to say "I don't know, but I will find out," and then actually find outYou can spend a day on-site with a customer team, absorb what they are working on, and leave them with something useful, whether that is a solution, a workaround, or a clear next step

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. Your recruiter will share more about the team structure and mission during the interview process.

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. Your recruiter will provide more details about the salary range and benefits during the hiring process.