Current jobs related to Digital Verification Expert - Solna Municipality - Swedium Global Services AB


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    SweDenium Global Services AB is a leading provider of System Engineering and Solution services, delivering high-quality Semiconductor Engineering R&D Services, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy, and Outsourcing solutions to clients globally. Our presence...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    We are seeking a highly skilled Senior Formal Verification Engineer to join our team at SweDenium Global Services AB. The successful candidate will be responsible for developing and implementing formal verification techniques to ensure the correctness of digital designs.Job Description:Key Responsibilities:Specifying, implementing, and maintaining an...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Job OverviewSweedum Global Services AB is a growing System Engineering and Solution Company offering services like Semiconductor Engineering R&D Services, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy and Outsourcing services to our clients across the globe for an...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    What You'll Be DoingAs a Senior Formal Verification Engineer, you will be responsible for identifying key behaviors for verification of DUT and creating a formal verification plan.You will develop verification environments, including environmental assumptions, assertions, and cover properties in the context of the verification plan.Additionally, you will...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    We require a highly skilled Formal Verification Engineer to develop and maintain formal verification solutions. The ideal candidate will have expertise in formal verification techniques and excellent problem-solving skills.Responsibilities:Designing and implementing formal verification solutions.Developing and maintaining an integrated end-to-end formal...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Swedium Global is the growing System Engineering and Solution Company, offering services like Semiconductor Engineering R&D Services, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy and Outsourcing services to our clients across the globe for an onsite and offshore...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Swedium Global is the growing System Engineering and Solution Company, offers services like Semiconductor Engineering R&D Services, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy and Outsourcing services to our clients across the globe for an onsite and offshore...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    About the RoleThis role is responsible for specifying, implementing, and maintaining an integrated end-to-end formal verification flow for the formal verification objective.The ideal candidate will have experience with synthesis flow and static timing flows, formal checking, and hands-on experience with HDLs such as Verilog or System Verilog.You will be...


  • Solna Municipality, Sweden TN Sweden Full time

    TN Sweden is expanding its engineering team and seeks an exceptional UVM Expert to lead the development of verification environments.About the Role:The successful candidate will have a proven track record of delivering high-quality verification solutions and will be responsible for mentoring junior engineers.They will work closely with cross-functional teams...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    SweDenium Global Services AB is looking for an experienced Senior Formal Verification Engineer to lead our verification efforts. The ideal candidate will have a strong background in formal verification techniques and excellent communication skills.Responsibilities:Developing and maintaining an integrated end-to-end formal verification flow for the formal...


  • Solna Municipality, Sweden Swedium Global Services AB - Solna Full time

    Sweedum Global Services AB - Solna offers Engineering R & D Services, Embedded Systems, custom application development, Onsite Consultancy, and Testing Services to clients globally.We are looking for a Senior ASIC Verification Engineer with experience in SystemVerilog/UVM, programming skills, and excellent debugging abilities.Requirements:Minimum 6-8 years...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Global System Engineering and Solution Company, Sweeden Global Services AB, is seeking an experienced Senior ASIC Verification Engineer to join its team. This exciting opportunity offers the chance to work on complex digital systems, collaborate with top professionals, and contribute to the company's success.Responsibilities:Develop and execute verification...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Swedium Global Services AB, a leading provider of engineering and solution services, is seeking an experienced Senior ASIC Verification Engineer to join its team. With a strong focus on delivering high-quality solutions to clients across the globe, we offer a dynamic and challenging work environment.Job Description:The ideal candidate will have a minimum of...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Sweeden Global Services AB, a cutting-edge provider of system engineering and solution services, is seeking a highly skilled Senior ASIC Verification Engineer. As part of our growing team, you will play a key role in delivering innovative solutions to clients worldwide.Responsibilities:Develop and execute verification plans for complex digital...


  • Solna Municipality, Sweden Tieto Full time

    We are looking for a Digital Transformation Expert to join our team at Tietoevry Tech Services. As a key contributor to our ServiceNow practice, you will help organizations leverage technology to drive business growth and improve operational efficiency.Your primary focus will be on designing and implementing tailored ServiceNow solutions that address...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Sweedium Global Services AB offers a unique opportunity for an experienced Senior ASIC Design Engineer to join our team. The successful candidate will have a strong background in digital IC design, excellent communication skills, and a proven track record of delivering high-quality designs.About the CompanyWe provide a comprehensive range of engineering...


  • Solna Municipality, Sweden TN Sweden Full time

    Job DescriptionWe are seeking a seasoned Digital Transformation Expert to join our team in Sweden. As a key member of our Sales team, you will play a pivotal role in driving business growth and success.About the RoleIn this exciting position, you will be responsible for identifying and developing new business opportunities within the local market. You will...


  • Järfälla Municipality, Sweden SAAB Full time

    Job DescriptionWe are seeking a highly skilled Digital Transformation Expert to lead our supply chain innovation efforts. As a key member of our team, you will be responsible for driving digital transformation initiatives within our manufacturing and supply chain environments.You will leverage your expertise in digital transformation to develop and implement...

  • UVM Expert

    6 days ago


    Solna Municipality, Sweden TN Sweden Full time

    Join our team of skilled engineers at TN Sweden as we seek a Technical Lead to oversee the development of verification environments.About the Role:The successful candidate will have a strong technical background and leadership skills, with experience in managing cross-functional teams.They will be responsible for ensuring that all verification environments...


  • Järfälla Municipality, Sweden SAAB Full time

    At SAAB, we're shaping the digital future of People Processes. As a Workday HR Solution Expert, you'll operate independently to design, deliver, and support People digital solutions.Your RoleYou will own the identification, prioritization, and configuration of Workday process roadmaps, ensuring alignment with global business objectives.Propose and implement...

Digital Verification Expert

2 weeks ago


Solna Municipality, Sweden Swedium Global Services AB Full time
Job Description

We are seeking a highly skilled and experienced Formal Verification Specialist with a minimum of 5 years of industry experience, focusing on formal techniques for verification.

The ideal candidate will possess deep knowledge of architectures of designs and digital logic, synthesis flow, static timing flows, and formal checking.

  1. Specifying, implementing, and maintaining an integrated end-to-end formal verification flow for the formal verification objective.
  2. Guiding and training team members on effective usage of FV tools.
  3. Reviewing formal setups and proofs with design and verification teams.
Key Responsibilities:
  • Maintaining and extending assertion libraries, including support for both simulation and formal verification.
  • Identifying key behaviors for verification of DUT and creating a formal verification plan.
  • Developing verification environments, including environmental assumptions, assertions, and cover properties in the context of the verification plan.
Requirements:
  • Strong knowledge of architectures of designs and digital logic.
  • Experience with synthesis flow and static timing flows, formal checking, etc.
  • Hands-on experience with HDLs such as Verilog / System Verilog.
  • Understanding of temporal logic assertions.
  • Experience with at least one formal verification tool (e.g., Jasper, VC-Formal).
  • Experience with complex verification projects that used formal techniques for closure.