{"type": "article", "title": "Senior Software Engineer- AI for RTL Design & Formal Verification — Astera Labs", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/senior-software-engineer-ai-for-rtl-design-formal-verification-astera-labs", "original_source": "https://frontierroles.com/jobs/asteralabs-senior-software-engineer-ai-for-rtl-design-formal-verification-4574d6/", "published": "2026-08-31T21:19:09+00:00", "accessed": "2026-09-01", "id": "senior-software-engineer-ai-for-rtl-design-formal-verification-astera-labs"}