Principal EDA R&D Engineer

What you’d do

Architect and develop formal verification algorithms such as model checking, SAT/SMT solvers, and equivalence checking, and build multi-agent AI systems that analyze RTL designs and tune solver parameters. Full time, driving features from research through C/C++ implementation in commercial EDA tools. Found on the employer's careers page on Sep 29, 2026. Apply through the link.