Nordic EDA Verification Engineer AI-Driven Formal

Synopsys Inc; Sweden; On-site; SEK 700,000 - 1,000,000; Full time

Benefits offered by this job

Health and wellness benefits

Job summary

Synopsys Inc. seeks a verification professional to work with customers in Sweden and the Nordic region, helping translate verification goals into effective formal verification strategies and best practices.

You will collaborate with customers and customer engineers, leading property development, assertion creation, coverage analysis, and proof closure while adapting to real-world design environments across SoCs and IP blocks.

Qualifications

• Bachelor's or Master's 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 opportunity to travel regularly within the Nordic region.
• Solid communication skills in English, both written and verbal.
• Experience with Synopsys verification tools such as VC Formal, VCS or Verdi is a plus.

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 as needed.
• Deliver tool training sessions and technical presentations to customer teams, helping them adopt verification best practices.
• Document solutions, known issues, and workarounds to build shared knowledge within the applications team.

Skills

Customer communication

Analytical thinking

Problem solving

Team collaboration

Education

Electrical Engineering

Computer Engineering

Tools

VC Formal

VCS

Verdi

Job description

Synopsys Inc. seeks a verification professional to work with customers in Sweden and the Nordic region, helping translate verification goals into effective formal verification strategies and best practices.

You will collaborate with customers and customer engineers, leading property development, assertion creation, coverage analysis, and proof closure while adapting to real-world design environments across SoCs and IP blocks.