Senior Formal Verification Engineer

1 giorno fa

Lazio, Italia Openchip & Software Technologies A tempo pieno

As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.Responsibilities- Work closely with system architects and design team to establish formal verification environment and setting- Guide the use of formal verification that correct formal techniques are used appropriately to improve efficiency of IP and SoC level verification- Contribute to define Formal Verification Methodologies- Produce IP level, subsystem level and chip level test plans based on Design documents and interaction with design and architecture teams- Write and debug System Verilog assertions- Analyze coverage data and working with Design teams to address coverage holes- Contribute to developing framework for running regressions and debugging regression failures- Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level- Scripting/Automation skills for improving workflows along with the usage of most advanced AI techniques- Participate in project reviews- Provide supervision/guidance to other team membersRequired Qualifications- Master's degree in relevant field- Min 5 years of experience in relevant field of Formal Verification- A deep understanding of formal verification, including applications, verification of algorithms, protocols, and application of formal verification at SoC level- Made significant contributions in the use of formal verification and be able to guide formal verification development into new areas- Formal tools, System Verilog, SV Assertions and Assumptions, Scripting skills- Apps in formal tools (Low power, X-prop, Connectivity checking, Register Map Verification)- Design knowledge of CPU, NoC/Interconnect, Memory Controllers, Caches- Team player, able to work with multiple cultures both on site and remotely- Autonomous and flexible is mandatoryWhat We Offer?The opportunity to build a cloud AI deployment platform that will power next generation AI systems.A collaborative, innovation-driven environment with significant autonomy and ownership.Hybrid work model with flexible scheduling.A chance to join one of Europe's most ambitious companies at the intersection of AI and silicon engineering.Position based in Barcelona, open to other European locations like Rome (Italy)We're looking for exceptional engineers ready to shape the future of AI infrastructure. If building scalable, cloud-native AI deployment platforms excites you, we'd love to meet you.At Openchip & Software Technologies S.L., we believe a diverse and inclusive team is the key to groundbreaking ideas. We foster a work environment where everyone feels valued, respected, and empowered to reach their full potential—regardless of race, gender, ethnicity, sexual orientation, or gender identity.#J-*****-Ljbffr

  • Senior Formal Verification Engineer

    1 giorno fa

    Lazio, Italia Openchip & Software Technologies A tempo pieno

    As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.ResponsibilitiesWork closely with system architects and design team to establish formal verification environment and settingGuide the use of formal verification that correct formal techniques are used appropriately to improve...

  • Senior Formal Verification Engineer

    1 giorno fa

    Lazio, Italia Openchip & Software Technologies A tempo pieno

    The Role:As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.Responsibilities:Work closely with system architects and design team to establish formal verification environment and settingGuide the use of formal verification so that correct formal techniques are used...

  • Senior Formal Verification Engineer

    2 settimane fa

    Lazio, Italia Openchip & Software Technologies A tempo pieno

    The Role: As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.Responsibilities:- Work closely with system architects and design team to establish formal verification environment and setting- Guide the use of formal verification so that correct formal techniques are used...

  • Senior Design Verification Engineer

    1 settimana fa

    Lazio, Italia Ic Resources A tempo pieno

    Senior Design Verification Engineer - RomeI am seeking a highly experienced Senior Verification Engineer to join a leading organisation at the forefront of semiconductor innovation.This is an exceptional opportunity to be part of a dynamic and multicultural team, working on cutting-edge SoC designs that will shape the future of AI, HPC, and other advanced...

  • Senior Design Verification Engineer

    6 giorni fa

    Lazio, Italia Ic Resources A tempo pieno

    Senior Design Verification Engineer - RomeI am seeking a highly experienced Senior Verification Engineer to join a leading organisation at the forefront of semiconductor innovation.This is an exceptional opportunity to be part of a dynamic and multicultural team, working on cutting-edge So C designs that will shape the future of AI, HPC, and other advanced...

  • Staff Engineer, Design Verification

    11 ore fa

    Lazio, Italia Analog Devices A tempo pieno

    About Analog Devices Analog Devices, Inc. (NASDAQ: ) is a global semiconductor leader that bridges the physical and digital worlds to enable breakthroughs at the Intelligent Edge.ADI combines analog, digital, and software technologies into solutions that help drive advancements in digitized factories, mobility, and digital healthcare, combat climate change,...

  • Senior Microprocessor Verification Engineer

    2 settimane fa

    Lazio, Italia Luxoft A tempo pieno

    A leading technology company in Italy is seeking a Senior Design Verification Engineer.The position involves pre-Silicon verification of high-performance microprocessor designs, developing verification test plans, and utilizing System Verilog for high-level language testbench components.The ideal candidate has a minimum of 5 years in digital design...

  • Digital Verification Engineer – Asic/Soc

    1 giorno fa

    Lazio, Italia Move Silicon A tempo pieno

    Chi siamoMove-X è la business unit di Move S.p.A. dedicata allo sviluppo di soluzioni ASIC e SoC ad alta efficienza per applicazioni industriali, automotive e IoT.Lavoriamo in stretta collaborazione con clienti globali per portare sul mercato dispositivi analogici e mixed-signal innovativi, con un forte focus sull'affidabilità e sulla sostenibilità dei...

  • Senior Design Verification Engineer

    2 settimane fa

    Lazio, Italia Luxoft A tempo pieno

    OverviewSenior Design Verification Engineer Luxoft•Roma, Lazio, ItaliaProject DescriptionWe are passionate about transforming lives through cutting-edge technology, enriching industries, communities, and the world.Our mission is to create exceptional products that drive next-generation computing experiences, serving as the foundation for data centers,...

  • Senior Ams Verification Lead

    2 settimane fa

    Lazio, Italia Analog Devices, Inc. A tempo pieno

    A leading global semiconductor company is seeking a Senior AMS Verification Engineer in Milan.The role involves product definition, creating verification plans, and preparing verification environments.Candidates should have a Master's degree in Electrical Engineering and over 5 years of experience in AMS verification and analog design.The company values...