Compensation
$230,000 – $285,000/yr
Astera Labs is looking for a Distinguished Engineer, Formal Verification to lead their formal verification strategy and contribute to the development of advanced connectivity solutions for AI infrastructure. The role involves defining methodologies, serving as a technical authority, driving innovation, and mentoring a global team of engineers. This position has significant impact on shaping the future of rack-scale AI infrastructure.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
Silicon-based hardware connectivity solutions and software for rack-scale AI.San Jose, CA, United States
Astera Labs builds silicon-based hardware connectivity solutions and software for rack-scale AI, including smart fabric switches, retimers, memory controllers, and signal conditioners. Astera Labs reported second-quarter 2026 revenue of $392.4 million, up 27% quarter over quarter and 104% year over year.