Nordic EDA Formal Verification Applications Engineer

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

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.