Applications Engineer - EDA Verification

Synopsys Inc; Kista; On-site; SEK 520,000 - 760,000; Full time

Job summary

Synopsys Inc. is seeking an experienced Applications Engineer to support Nordic customers in verification using Synopsys tools. Based in Stockholm area, you will collaborate with customer engineers and lead verification activities across design and verification teams.

You will guide property development, assertion creation, coverage analysis, and proof closure, while delivering training and building knowledge within the European applications team.

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

Responsibilities

• 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 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 elevate 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

Skills

Communication skills

English proficiency

Education

Bachelor's or Master's degree in Electrical Engineering or Computer Engineering

Semiconductor or electronics discipline

Tools

VC Formal

VCS

Verdi

Job 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. 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 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 elevate 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, 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 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 you 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, 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.

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.