Senior AI Engineer for RTL Design & Formal Verification

Astera Labs in San Jose, CA, is seeking a Senior Software Engineer for AI-driven RTL design and formal verification. You will develop and deploy AI applications using LLMs and agentic frameworks to accelerate RTL, static checks, and formal verification workflows. Work with RTL design, DV, formal verification, and CAD/EDA teams to translate design challenges into AI-assisted tooling, build scalable infrastructure for multi-agent systems, and deliver tangible improvements in design closure and bug

#J-18808-Ljbffr