Senior/ Staff Formal Verification Engineer ב-Astera Labs · Trevo