Senior Software Engineer - AI
Core
Design, develop, and deploy LLM-powered AI applications and agentic systems for RTL, physical, analog, static analysis, lint, and formal verification workflows.
Role type
Senior IC software engineer (AI/EDA)
Builds
Engineering assistants, multi-turn dialogue systems, RTL rule/lint checking tools, optimization solutions, and formal proof convergence tools.
Domain
Electronic Design Automation (EDA) / Computer-Aided Design (CAD)
Deliverable
production ML models | product features
Required skills
Python, LLM fine-tuning, multi-agent systems, RAG pipelines, vector databases, data structures, algorithms, software engineering practices
Preferred skills
Verilog/SystemVerilog, formal/static verification tools (JasperGold, VC Formal), AI/ML techniques for EDA/CAD, formal property verification, assertion-based verification (SVA), static timing/lint tools
Technologies
LLMs, RAG, vector databases, JasperGold, VC Formal
Responsibilities
Build infrastructure for engineering assistants and multi-turn dialogue systems; Develop solutions for RTL rule checking, optimization, bug triage, and formal proof convergence; Fine-tune and integrate AI solutions with existing CAD/EDA flows; Build and maintain design databases and dashboards; Collaborate with RTL, design verification, and formal verification teams to translate workflow needs into AI-assisted tooling.
Seniority
Senior, hands-on IC
