Líder Técnico de Verificación de Bloques en Barcelona

Serás el responsable de la verificación de un bloque clave de nuestro sistema de IA coherente, liderando un equipo de 3-4 ingenieros hasta el sign-off para el tape-out.

Tu alcance cubre los bloques del sistema alrededor de los núcleos RISC-V: los bloques de interrupción ACLINT y APLIC, el bloque de barreras (barriers) y los componentes necesarios para arrancar Linux. Estos bloques convierten los núcleos en un sistema funcional: si uno de ellos falla, nada arranca.

Responsabilidad total de la verificación de tu bloque

• Mantener el plan de verificación del bloque, alineado con la estrategia global establecida por el Verification Lead.

• Mantener, ejecutar y actualizar el testbench del bloque en UVM: agentes, modelo de referencia, scoreboards, cobertura funcional y assertions.

• Impulsar el bloque hasta el sign-off: cierre de cobertura (coverage closure), tendencias de errores (bug trends).

Liderar tu equipo

• Liderar un equipo de 3-4 ingenieros de verificación: dividir el trabajo, revisar testbenches y pruebas, desbloquear a las personas.

• Mentorear a tus ingenieros, tomar decisiones.

• Mantener tus regresiones y CI saludables, e impulsar la automatización.

Trabajar con diseño y con los otros responsables

• Revisar y comprender la microarquitectura del bloque con los diseñadores de RTL.

• Revisar los contratos de interfaz con los bloques vecinos: qué asume tu bloque y quién lo comprueba.

• Entregar agentes, checkers y cobertura que los otros equipos puedan reutilizar a nivel de sistema.

• Informar de forma clara sobre el estado y los riesgos al Verification Lead.

Semidynamics desarrolla silicio de inferencia de IA centrado en la memoria en Barcelona. Nuestros chips combinan CPUs RISC-V, unidades Vectoriales y Tensoriales y nuestro motor de memoria Gazzillion Misses™, de modo que los grandes modelos de lenguaje nunca carezcan de datos. En abril de 2026, SK hynix, uno de los fabricantes de memoria líderes en el mundo, realizó una inversión estratégica en la empresa.

No heredarás un flujo de trabajo maduro en una empresa de 10.000 personas. Tú lo darás forma, con un equipo que liderarás y un equipo de diseño a solo un escritorio de distancia.

• Perfil práctico y líder a la vez. Seguirás escribiendo testbenches y depurando fallos, decidiendo el próximo escenario a implementar, mientras haces crecer un equipo a tu alrededor.

• Un bloque que realmente te pertenece. Lo conocerás mejor que nadie, hasta el último caso extremo (corner case), y tu sign-off decidirá si está listo.

• Los autores del RTL están a tu lado. Podrás cuestionar una elección de microarquitectura en la pizarra antes de que se convierta en un error.

• Un siguiente paso claro. Liderar un equipo de bloque es el camino natural hacia el liderazgo de la verificación de todo un sistema.

Imprescindible

• Verificación de RISC-V, clusters de CPU o aceleradores de IA.

• Protocolos de coherencia de caché (CHI, ACE, MESI/MOESI) y ordenamiento de memoria.

• Infraestructura de CI (GitLab).

• Primera experiencia gestionando personas.

• Siempre te preguntas: "¿Quién o qué comprueba esto realmente?"

• Sigues inventando nuevos escenarios para encontrar el siguiente error antes de que nos encuentre a nosotros.

• Te gusta mentorizar y disfrutas viendo crecer a los ingenieros de tu equipo.

• Trabajar en una de las scale-ups de semiconductores deep-tech más prometedoras de Europa, desde el silicio hasta los sistemas.

• Oficina en el centro de la ciudad de Barcelona: 4 días presenciales, 1 día desde casa.

• 1 semana al año para trabajar desde cualquier parte del mundo.

• Paquete competitivo.

• Una cultura técnica y colaborativa que valora la responsabilidad directa y el pensamiento claro.

• La propia Barcelona: el mar, las montañas y una fuerte comunidad de ingeniería cerca.