Principal EDA R&D Engineer
Core
Lead research, architecture, and development of core formal verification engines improved by Agentic AI frameworks to automatically break down large builds, coordinate solver strategies, and debug execution traces at scale.
Role type
Principal EDA R&D Engineer (Hardware Formal Verification)
Builds
Production-grade EDA tools and commercial tool suites
Domain
Electronic Design Automation (EDA) / Hardware Verification / Artificial Intelligence
Deliverable
production ML models
Required skills
Formal methods (Model Checking, SAT/SMT solvers, 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
None stated
Technologies
LLMs, Reinforcement Learning, Graph Neural Networks, LangChain, AutoGen, CrewAI, System Verilog Assertions (SVA)
Responsibilities
Architect and advance formal verification algorithms; Design and deploy multi-agent AI systems for RTL analysis and solver tuning; Develop intelligent orchestration layers for state-space explosion handling; Develop engines for natural language to SVA generation; Drive features from research to implementation in high-performance C/C++ environments
Seniority
Principal, hands-on IC
