JOBSEARCHER

Distinguished Engineer, Formal Verification Leader

Astera LabsSan Jose, CAApril 24th, 2026
A leading AI infrastructure company in San Jose seeks a Distinguished Engineer for Formal Verification. This role focuses on defining methodologies for cutting-edge connectivity solutions, including PCIe and CXL. Candidates should have substantial experience in formal verification and a strong background in SystemVerilog. The position offers significant impact on AI infrastructure, requiring advanced scripting knowledge and collaborative skills. Join a dynamic team at the forefront of innovation, with a competitive salary range of $230,000 to $285,000. J-18808-Ljbffr