Nordic EDA Verification Engineer: Formal & AI Tools

Synopsys, Inc.; Stockholms kommun; Hybrid; SEK 700,000 - 950,000; Full time

Job summary

Synopsys, Inc. in Stockholm, Sweden, is seeking a dedicated verification engineer to join the European EDA Applications Engineering Team.

You will work with Nordic customers to apply formal verification, AI-assisted methods, and Synopsys tools to challenging silicon designs. The role emphasizes direct customer collaboration, methodical root-cause analysis, on-site support, and contribution to shared knowledge bases.

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

Formal verification concepts

English communication

Customer engagement

Education

Bachelor's or Master's in Electrical/Computer Engineering or related

Tools

VC Formal

VCS

Verdi

Job description

Synopsys, Inc. in Stockholm, Sweden, is seeking a dedicated verification engineer to join the European EDA Applications Engineering Team.

You will work with Nordic customers to apply formal verification, AI-assisted methods, and Synopsys tools to challenging silicon designs. The role emphasizes direct customer collaboration, methodical root-cause analysis, on-site support, and contribution to shared knowledge bases.