Distinguished Formal Verification is open at Astera Labs in San Jose, CA. The posting gives a salary of $230K - $285K. Posted on Feb 23, 2026, and still on Astera Labs’s careers page when we last checked, on Nov 14, 2026.
About the role
Strategic Leadership & Methodology Development Define and evolve formal verification strategy, methodologies, and best practices across all product lines for PCIe, CXL, Ethernet, UCIe, and UALink protocols Serve as technical authority on formal verification, providing expert guidance to engineering leadership on risk mitigation and design quality Represent Astera Labs in industry forums, standards bodies, and…
The opening lines of the posting. The rest is on Astera Labs’s careers page.
Hiring at Astera Labs
Astera Labs has 173 open roles right now. Most are in Engineering, Design and Supply Chain & Logistics. The median advertised salary across its roles with a published range is $212K. See all its roles
