Principal EDA R&D Engineer
Core
Lead research, architecture, and development of core formal verification engines enhanced by Agentic AI frameworks to automate hardware verification at scale.
Role type
Principal EDA R&D Engineer (Formal Verification & Agentic AI)
Builds
Production-grade EDA tools for hardware formal verification
Domain
Semiconductor / Electronic Design Automation (EDA)
Deliverable
production ML models | production ML models | product features
Required skills
Formal methods (Model Checking, SAT/SMT, BDDs, Equivalence Checking, Theorem Proving), C/C++ (Modern C++17/20), Agentic AI pipelines, Multi-agent frameworks, RTL languages (System Verilog, VHDL), High-performance data structures, Memory optimization, Multi-threading
Preferred skills
Reinforcement Learning, Graph Neural Networks, Natural Language to SVA generation, LangChain, AutoGen, CrewAI
Technologies
C/C++, System Verilog, VHDL, LLMs, LangChain, AutoGen, CrewAI
Responsibilities
Architect new formal verification algorithms; Design multi-agent AI systems for RTL analysis and solver tuning; Develop orchestration layers for state-space explosion handling; Build engines for automatic SVA generation from natural language; Drive features from research to high-performance C/C++ implementation.
Seniority
Principal, hands-on IC with strategy & mentorship
