Senior Software Engineer- AI for RTL Design & Formal Verification at Astera Labs · Trevo