Tech Lead, Formal Verification

Summary

Develop comprehensive formal verification plans from architecture and design specifications by identifying critical design properties, protocol requirements, and micro-architectural invariants. Develop and execute formal verification environments, assertions, properties, and checkers. Drive proof…

This is a short summary. The full description, and the application form, are on Astera Labs’s own careers page.

Location

Bengaluru, Karnataka, India

Visa sponsorship

No

Relocation support

No

Salary

Not listed

Role family

Other

Posted

3 Aug 2026 · 75 days ago

Last checked

17 Oct 2026