← All roles

Senior/ Staff Formal Verification Engineer

Astera Labs, Tel Aviv-Yafo, Tel Aviv District, Israel

Salary not disclosed

Senior levelTesting

You will define formal verification strategy for complex semiconductor chips at Astera Labs' Israel R&D center, leading the verification methodology for connectivity solutions. You need senior-level expertise in formal verification techniques, chip verification, and the ability to establish verification best practices for a new site.

Apply on company site

Posted March 18, 2026 (7mo ago)

Keyboard shortcuts