Senior Formal Verification Engineer
hace 2 semanas
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 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 members Required 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 debug, Deep bug hunting · Design knowledge of CPU, NoC/Interconnect, Memory Controllers, Caches Soft skills: · Team player, able to work with multiple cultures both on site and remotely · Autonomous and flexible is mandatory What 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.
-
Senior Formal Verification Engineer
hace 1 semana
Barcelona, Barcelona, España OPENCHIP & SOFTWARE TECHNOLOGIES A tiempo completoThe RoleAs 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 so that correct formal techniques are used appropriately...
-
Senior Verification Engineer
hace 4 días
Barcelona, España JR Spain A tiempo completoSocial network you want to login/join with: I 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 Functional Verification Engineer
hace 2 semanas
Barcelona, Barcelona, España microTECH Global LTD A tiempo completoAbout the RoleWe are seeking aSenior Functional Verification Engineerto join an innovative semiconductor company developing next-generationAI and HPC SoCs. You'll collaborate witharchitecture, design, and software teamsto ensure top system performance, drivingUVM-based verification, HW/SW co-debug, andsimulation accelerationin a dynamic, growth-focused...
-
Digital IC Verification Engineer
hace 3 semanas
Barcelona, España The TMRW Foundation A tiempo completoJoin a thriving environment tasked with delivering new and disruptive technologies!We are looking for a Digital IC Verification Engineer with hands-on experience using Cadence verification tools to verify complex digital ICs and SoCs.¿Quiere presentar una candidatura? Asegúrese de que su CV está actualizado y luego lea atentamente las siguientes...
-
Digital IC Verification Engineer
hace 19 horas
Barcelona, España The TMRW Foundation A tiempo completoJoin a thriving environment tasked with delivering new and disruptive technologies!¿Tiene su CV preparado? Si es así y confía en que este es el puesto ideal para usted, asegúrese de enviar su solicitud lo antes posible.We are looking for a Digital IC Verification Engineer with hands-on experience using Cadence verification tools to verify complex digital...
-
Digital IC Verification Engineer
hace 3 semanas
Barcelona, España The TMRW Foundation A tiempo completoJoin a thriving environment tasked with delivering new and disruptive technologies!¿Todo listo para enviar su solicitud? Por favor, lea la descripción al menos una vez antes de hacer clic en "Solicitar". We are looking for a Digital IC Verification Engineer with hands-on experience using Cadence verification tools to verify complex digital ICs and SoCs....
-
Digital IC Verification Engineer
hace 2 semanas
Barcelona, España The TMRW Foundation A tiempo completoJoin a thriving environment tasked with delivering new and disruptive technologies! We are looking for a Digital IC Verification Engineer with hands-on experience using Cadence verification tools to verify complex digital ICs and SoCs. The role focuses on building high-quality verification environments, executing simulation and coverage-driven verification,...
-
Digital IC Verification Engineer
hace 4 días
Barcelona, España The TMRW Foundation A tiempo completoJoin a thriving environment tasked with delivering new and disruptive technologies! ¿Listo para inscribirse? Antes de hacerlo, asegúrese de leer todos los detalles pertenecientes a este trabajo en la descripción a continuación.We are looking for a Digital IC Verification Engineer with hands-on experience using Cadence verification tools to verify complex...
-
Digital IC Verification Engineer
hace 3 días
Barcelona, España The TMRW Foundation A tiempo completoJoin a thriving environment tasked with delivering new and disruptive technologies!¿Todo listo para enviar su solicitud? Por favor, lea la descripción al menos una vez antes de hacer clic en "Solicitar". We are looking for a Digital IC Verification Engineer with hands-on experience using Cadence verification tools to verify complex digital ICs and SoCs....
-
Senior Engineer Functional Verification
hace 2 semanas
Barcelona, España Openchip And Software Technologies SL A tiempo completoThe Role : As a Senior Functional Verification Engineer, you will be interfacing with architecture, design, physical implementation and software teams in order to make sure that the systems are performing to the highest level. Your work may involve high-level modelling, UVM, HW/SW Co-Debug, Simulation Acceleration support. Key Responsibilities: -Reading and...
