Principal EDA R&D Engineer

[…] is seeking an experienced Principal EDA R&D Engineer to pioneer the next generation of Hardware Formal Verification tools!

In this position, you will lead research, architecture, and development of core formal verification engines improved by Agentic AI frameworks. You will craft collaborative, autonomous AI agent networks to extend formal tools. These tools will automatically break down large builds, coordinate solver strategies, synthesize complex properties, and debug execution traces at an unmatched scale.

This role requires deep algorithmic knowledge, rigorous industrial software engineering, and a strong record of producing production-grade EDA tools.

Architect, construct, and advance brand new formal verification algorithms (e.g., Model Checking, SAT/SMT solvers, BDDs, Equivalence Checking, and Theorem Proving).

Design, develop, and deploy multi-agent AI systems (using LLMs, Reinforcement Learning, and Graph Neural Networks) that autonomously analyze RTL topologies, partition large design spaces, and dynamically tune solver parameters.

Develop intelligent orchestration layers where autonomous AI agents collaborate to bypass state-space explosion, handling multi-billion-gate builds and deep sequential depth.

Develop intelligent engines capable of handling ingestion, abstraction, and the automatic generation of complex System Verilog Assertions (SVA) from natural language specifications and architectural intent.

Drive features from init