Applications Engineer - EDA Verification

Job Description and Requirements We AreSynopsys 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 AreYou 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 DoingLeverage 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 teamThe Impact You Will HaveHelp 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 engineeringWhat You'll NeedBachelor'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 neededWho You AreYou 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 stepThe Team You'll Be Part OfYou 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 BenefitsWe 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. At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.Job Description and Requirements We AreSynopsys 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 AreYou 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 DoingLeverage 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 teamThe Impact You Will HaveHelp 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 engineeringWhat You'll NeedBachelor'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 neededWho You AreYou 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 stepThe Team You'll Be Part OfYou 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 BenefitsWe 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. At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.Job Description and Requirements We AreSynopsys 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 AreYou 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 DoingLeverage 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 teamThe Impact You Will HaveHelp 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 engineeringWhat You'll NeedBachelor'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 neededWho You AreYou 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 stepThe Team You'll Be Part OfYou 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 BenefitsWe 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.Job Description and RequirementsWe AreSynopsys 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 AreYou 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 DoingLeverage 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 teamThe Impact You Will HaveHelp 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 engineeringWhat You'll NeedBachelor'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 neededWho You AreYou 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 stepThe Team You'll Be Part OfYou 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 BenefitsWe 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.We AreSynopsys 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 AreYou 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 DoingLeverage 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 teamThe Impact You Will HaveHelp Nordic customers keep their verification schedules on track by resolving tool issues and setup problems before they become project blockers

We Are

We AreWe 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.

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.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 AreYou 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 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 spent enough time in semiconductor design or verification to know that the most challenging bugs are often the ones simulation alone cannot easilyexpose. 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 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 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.

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.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.

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.Customer environments rarely matchthe textbookexamples. 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.

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.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.

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.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

What You'll Be DoingWhat 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.

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.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

Provide technical support to customers in Sweden and across the Nordic region using Synopsys verification tools including VC Formal, Verdi and VCSProvide 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

Diagnose and resolve customer issues by working directly with design and verification teams, both remotely and on-site at customer locationsDiagnose 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 and R&D when needed

Reproduce customer problems in lab environments, isolate root causes, and deliver solutions or escalate to senior engineers and R&D when neededReproduce customer problems in lab environments, isolate root causes, and deliver solutions or escalate 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

Deliver tool training sessions and technical presentations to customer teams, helping them adopt verification best practices and improve their workflowsDeliver 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

Document solutions, known issues, and workarounds to build shared knowledge within the applications teamDocument solutions, known issues, and workarounds to build shared knowledge within the applications team

The Impact You Will Have

The Impact You Will HaveThe 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

Help Nordic customers keep their verification schedules on track by resolving tool issues and setup problems before they become project blockersHelp 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 engineeringWhat You'll NeedBachelor'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 neededWho You AreYou 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 stepThe Team You'll Be Part Of

• Improve customer adoption and effective use of Synopsys formal verification and AI tools through hands-on training and technical guidance

Improve customer adoption and effective use of Synopsys formal verification and AI tools through hands-on training and technical guidanceImprove 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

Build trust with customer engineering teams by showing up, listening carefully, and following through on commitmentsBuild 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

Contribute to the knowledge base and internal documentation that helps the entire European applications team resolve issues fasterContribute 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

Provide field feedback to R&D that helps shape future tool improvements based on real customer workflows and pain pointsProvide 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

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 engineeringStrengthen 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

What You'll NeedWhat You'll Need

• Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related semiconductor or electronics discipline

Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related semiconductor or electronics disciplineBachelor's orMaster'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

2-5 years of experience in semiconductor design, ASIC verification, or EDA applications support2-5 years of experience in semiconductor design, ASIC verification, or EDA applications support

• Understanding of digital design formal verification concepts and simulation flow fundamentals

Understanding of digital design formal verification concepts and simulation flow fundamentalsUnderstanding 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

Based in or near Stockholm, Sweden, with an opportunity to travel regularly within the Nordic regionBased 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

Solid communication skills in English, both written and verbal, with the ability to explain technical issues clearlySolid 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

Experience with Synopsys verification tools such as VC Formal, VCS or Verdi is a plus, training will be provided where neededExperience with Synopsys verification tools such as VC Formal, VCS or Verdi is a plus, training will be provided where needed

Who You Are

Who You AreWho 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 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 can take a customer bug report thatsays"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 are comfortable working independently but you know when to ask for help, and you do it before a small problem becomes a customer escalationYou are comfortable workingindependentlybut 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 can explain a technical concept to someone who does not share your background without talking down to them or losing the threadYou 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 manage your own time and commitments, if you say you will follow up with a customer by Thursday, you do itYou 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 are not afraid to say "I don't know, but I will find out," and then actually find outYou are not afraid tosay"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

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 stepYou 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

The Team You'll Be Part OfThe 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.

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.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

Rewards and BenefitsRewards 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.

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.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.At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

• Back to job list

Back to job listApply