Distinguished Formal Verification
Astera Labs, San Jose, CA
$230,000 – $285,000 / year
above the median for principal electronics roles
Principal levelElectronics
You will serve as Astera Labs' technical authority on formal verification, defining strategy and best practices across the entire chip portfolio for AI infrastructure connectivity products. The role requires principal-level expertise in formal verification methodologies and the ability to establish company-wide standards.
Posted February 23, 2026 (7mo ago)