Empleos de formal en Barcelona

As a static formal verification lead, you will play a key role in ensuring functional correctness and low-power intent integrity across the design lifecycle. You will be responsible for equivalence checking with and without UPF, ensuring seamless convergence between RTL, synthesis, and physical design stages for hierarchical designs.Key...

Job DescriptionOur partner is looking for a Formal Verification Lead to drive equivalence checking and formal signoff across RTL, synthesis and physical implementation stages.The role focuses on RTL to Gate and Gate to Gate equivalence, low power intent, ECO validation and methodology improvement across hierarchical designs.Location: Barcelona, Spain,...

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

Fundació Jesuites Educació cerca una persona amb vocació educativa i passió per l’esport que pugui acompanyar infants i joves en el seu creixement personal i esportiu a través del judo.¿Es usted el solicitante adecuado para esta oportunidad? Descúbralo leyendo el resumen del puesto a continuación.Formaràs part de la secció de judo del centre i...

Semidynamics is seeking a static formal verification lead to ensure functional correctness and low-power intent across the design lifecycle. You will drive RTL-to-Gate and Gate-to-Gate equivalence checks, debug LEC failures, and guarantee convergence across synthesis, place-and-route, and ECO cycles. xghoner Maximice sus posibilidades de que su candidatura...

Semidynamics in Barcelona, Spain seeks a static formal verification lead to ensure functional correctness and low-power intent across the design lifecycle. You will drive RTL-to-Gate and Gate-to-Gate equivalence checks, debug LEC issues, and ensure seamless convergence between RTL, synthesis, and physical design for hierarchical designs.The role requires 7+...

Job Title: Full time - Research Technician – KEY DETERMINANTS OF YOUTH LONG-TERM LABOUR MARKET PATHS. A fifteen years’ follow-up of 2006 young newcomers to the Spanish formal labour market (YOUNGPATHS) REF: CPIS-PSR-2025-09 Euraxess: https://euraxess.ec.europa.eu/jobs/340834 Position Overview:We are looking for a Research Technician to support the...

En Consultia IT nos encontramos en la búsqueda de un/a profesional para prestar servicio de apoyo integral a la gestión de proyectos de datos, asegurando su correcta planificación, coordinación y seguimiento en un entorno tecnológico complejo.La misión principal de la persona seleccionada será la de liderar cada iniciativa desde la definición de...

DashBook | 6-Month Paid Internship | Immediate Start | Student internship agreement requiredDashBook is a publishing house that works with creators, experts, and authors, offering complete creative freedom, some of the highest royalty rates in the industry, and full support across editing, design, marketing, printing, and global distribution.We’re looking...

dsm-firmenich in Barcelona is seeking a Senior Data Modeler to own the design and governance of enterprise data models built on Data Vault 2.0 principles within a Medallion Architecture for the Finance domain. You will translate business requirements into formal data models, define standards, and deliver implementation-ready specifications to data...

About UsPerk (formerly TravelPerk) is the intelligent platform for travel and spend management. Built to tackle the time-consuming, manual work that gets in the way of real work, our tools automate everything from travel bookings to expenses, invoice processing, and more. By eliminating this shadow work that wastes hours, erodes morale, and saps innovation,...

Calling all Agile enthusiasts!  If you are passionate about working in a challenging and continuously learning environment, keep reading.  We are Wiris, a software development company headquartered in Barcelona, with an office in Long Beach, California. Our mission is to make people's STEM work more meaningful. We develop tools for the...

DashBook | 6-Month Paid Internship | Immediate Start | Student internship agreement requiredDashBook is a publishing house that works with creators, experts, and authors, offering complete creative freedom, some of the highest royalty rates in the industry, and full support across editing, design, marketing, printing, and global distribution.We’re looking...

About AbacumAbacum is the leading Business Planning solution for finance teams to drive performance. By automating reporting, enabling collaboration, and simplifying planning and forecasting, we help finance teams shift from number crunching to driving strategic decisions.Founded in 2020 by two former CFOs, we’ve grown into a global team of 100+ people...

Semidynamics is seeking an experienced LSU verification engineer to own the verification plan for a Load/Store Unit in a CPU/GPU core. You will drive RTL freeze to tapeout‐quality sign‐off and mentor junior engineers while collaborating with DV leads. You will build UVM testbenches, develop constrained tests for memory ordering and forwarding, and push...

Data Governance Expertise (Framework & Process Design) Critical Data Elements (CDEs): Proven experience establishing qualification criteria, running discovery sessions, consolidating inventories across business domains, and assigning clear data ownership/stewardship roles. Data Quality (DQ) & Profiling: Ability to profile datasets, define DQ rules...

Descripción del puesto / Funciones¿Eres un/a Senior Product Designer con experiencia en eCommerce y te motiva diseñar productos digitales utilizados por millones de clientes en diferentes mercados?Estamos buscando un/a Senior Product Designer – UX/UI para incorporarse a un entorno internacional, donde tendrás la oportunidad de trabajar de principio a...

Your MissionWe are scientists, doctors, techies and humanity lovers, with the mission of building neuroelectronic interfaces to cure brain disorders. INBRAIN harnesses the extraordinary material properties of Graphene, the world’s thinnest and nobel-prize winning material, to build safe, uninvasive and highly efficient neural solutions. Our mission is to...

About the job Engineering Manager Data Platform Azure ACERCA DE LA POSICIÓN ENGINEERING MANAGER – DATA PLATFORM AZURE En Vortech PCI Group buscamos incorporar un/a Engineering Manager – Data Platform para liderar un proyecto estratégico de plataforma de datos en entorno Azure para una multinacional líder en software de gestión empresarial. Se...

Your MissionLead the commercialization of IN100x by ensuring launch readiness, successful customer adoption, and continued product success. Working across Commercial, Operations, Clinical Affairs, Regulatory Affairs, and Quality, you'll turn strategy into execution and help bring breakthrough neurotechnology to patients.What You'll DoCommercial Launch &...