Digital Verification Expert

2 days ago


Solna Municipality, Sweden Swedium Global Services AB Full time

**About Us**

Sweedium Global Services AB is a leading provider of engineering and solution services. Our expertise spans semiconductor engineering, embedded systems development, custom application software development, web and cloud application development, testing services, consultancy, and outsourcing. With presence in multiple countries, we cater to clients globally through onsite and offshore business models.

**Job Overview**

We are seeking an experienced Senior Formal Verification Engineer to lead our formal verification efforts. This role requires a highly skilled professional with a minimum of 5 years of industry experience, preferably focusing on formal techniques for the last 4 years. The ideal candidate should have deep knowledge of digital logic, synthesis flow, static timing analysis, and formal checking.

**Key Responsibilities**

  • Develop and maintain an integrated end-to-end formal verification flow for achieving formal verification objectives.
  • Train and guide team members on effective usage of formal verification tools.
  • Review formal setups and proofs with design and verification teams.
  • Maintain and extend assertion libraries, including support for simulation and formal verification.
  • Create formal verification plans and develop verification environments, including assumptions, assertions, and cover properties.
  • Apply formal verification techniques to prove correctness of digital designs and debug RTL to identify failure scenarios.

**Requirements**

  • Strong understanding of digital logic and architectures.
  • Experience with synthesis flow, static timing analysis, and formal checking.
  • Hands-on experience with HDLs like Verilog or System Verilog.
  • Understanding of temporal logic assertions.
  • Proficiency with at least one formal verification tool, such as Jasper or VC-Formal.
  • Experience with complex verification projects using formal techniques.
  • Skills in scripting languages like Python, Perl, or Shell (a plus).


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Swedium Global Services AB offers a comprehensive range of engineering services to clients globally, including R&D, embedded systems, custom application development, onsite consultancy, and testing. Our global presence enables us to deliver cutting-edge solutions to our customers.We are seeking an experienced digital signal processing expert to fill the...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Company OverviewSweeden Global Services AB is a leading provider of engineering services and solutions. The company's expertise spans various domains, including Embedded Systems, custom application development, Onsite Consultancy, and Testing Services.We cater to clients across the globe through our dedicated development centers in Bangalore (India) and...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    **Company Overview**Sweedium Global Services AB offers comprehensive engineering and solution services, catering to diverse client needs across the globe. Our expertise includes semiconductor engineering, embedded systems development, and more. We operate under both onsite and offshore business models, ensuring global reach and flexibility.**Job...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    **Welcome to Swedium Global Services AB**We're a dynamic company providing top-notch engineering and solution services to clients worldwide. Our extensive expertise covers semiconductor engineering, embedded systems development, custom application software development, web and cloud application development, testing services, consultancy, and outsourcing. Our...


  • 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 - Solna Full time

    Swedum Global Services AB - Solna provides industry solutions through our dedicated development center in Bangalore and Stockholm.We are looking for a talented Senior ASIC Verification Engineer to contribute to our verification projects.Job Requirements:Minimum 6-8 years' experience with SystemVerilog/UVM and strong debugging skillsExcellent programming...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    About UsSweeden Global Services AB is a growing company with a strong presence in the global market. We offer a wide range of services, including Engineering R & D Services, Embedded Systems, custom application development, Onsite Consultancy, and Testing Services.Our company provides industry solutions to our customers through our dedicated development...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    At Swedium Global, we are committed to delivering exceptional solutions to our clients. Our team of experts provides a range of services including Semiconductor Engineering R&D, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy, and Outsourcing.We are seeking talented...


  • Solna Municipality, Sweden Siemens Mobility Full time

    At Siemens Digital Industries Software, we empower businesses to innovate and succeed in the digital age. As a Senior Solution Architect PLM, you will play a key role in shaping our customers' Product Lifecycle Management (PLM) strategies.We are a leading provider of solutions for the design, simulation, and manufacture of products across various industries....


  • Solna Municipality, Sweden TN Sweden Full time

    Key ResponsibilitiesProject Management & Execution: Initiate, plan, and execute mainly procurement infrastructure related projects, defining scope, objectives, and budgets.Procurement & IT Alignment: Translate business strategy into IT architecture, collaborating closely with Vattenfall IT to implement procurement solutions that support organizational goals...


  • Solna Municipality, Sweden TN Sweden Full time

    About the RoleWe are seeking a skilled Trade Marketing Specialist to join our team in Solna, Sweden. In this role, you will work closely with our global marketing and sales team to orchestrate targeted marketing initiatives within our trade partners' peripherals.Key ResponsibilitiesDevelop and execute trade marketing activities with wholesalers and chains...


  • Solna Municipality, Sweden TN Sweden Full time

    Jobbeskrivning: QA-expert för agilt teamVi på Digital Services Stockholm söker en QA-expert med erfarenhet från offentlig sektor för att arbeta i vårt agila team. Du kommer att arbeta tillsammans med andra experter för att säkerställa att våra produkter levereras med högsta kvalitet.Krav för rollenErfarenhet av testarbete i agila...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Design ResponsibilitiesComplete responsibility for designing blocks or subsystemsBreak down requirements into architecture and design specificationsPerform digital design and execute RTL sign-off checksEnsure successful handover of good quality designs to the verification teamContinuously improve and optimize design processesRun release flows and secure...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Sweeden Global offers a comprehensive range of services including Semiconductor Engineering R&D, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy, and Outsourcing.Our company is growing rapidly and we are seeking highly skilled professionals to join our team. The...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Swedium the growing is Global System Engineering and Solution Company, offers services like Engineering R & D Services, Embedded Systems, custom application development, Onsite Consultancy and Testing Services to clients across the globe for onsite and offshore business model. We provide industry solutions to our customer through our dedicated development...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Job DescriptionIn this role, you will take an active part in performing simulation on high-speed interfaces and power rails in reference hardware designs and platforms for future products.Key responsibilities include:Perform signal or power integrity analysis and verification of high-speed interfaces.Provide model extraction and time domain simulation for...


  • Solna Municipality, Sweden Verizon Communications Full time

    Verizon Communications is an equal opportunity employer.We evaluate qualified applicants without regard to race, gender, disability or any other legally protected characteristics.Our team members are passionate about creating innovative solutions that enhance the agility, productivity, and global reach of the businesses we work with.In this role, you will be...


  • Solna Municipality, Sweden Swedium Global Services AB Full time

    Swedium Global Services AB is a leading provider of System Engineering and Solution services. We offer a range of services including Semiconductor Engineering R&D, Embedded Systems Development, Custom Application Software Development, Web and Cloud Application Development, Testing Services, Consultancy, and Outsourcing to clients across the globe.We are...


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

  • Project Director

    36 minutes ago


    Solna Municipality, Sweden Tieto Full time

    Become a Digital Transformation ExpertTietoevry Care seeks an experienced Digital Transformation Expert to lead the implementation of complex IT projects in Sweden. As a Delivery Lead, you will be responsible for developing and executing strategic plans to achieve business growth and customer satisfaction.The ideal candidate has a strong background in...