Tech Lead, Formal Verification

About this role

Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs’ Intelligent Connectivity Platform integr

This is a short preview. Read the full description on Greenhouse before you apply.

• ASIC Engineering

Learn AI for this job, first module free

A short, hands-on course on using AI in this kind of work.

Start free