Principal EDA R&D Engineer

Overview In this role you will lead the research, architecture, and development of next-generation formal verification engines. You will build multi-agent AI systems to enhance EDA tools and tackle large-scale designs. You’ll push high-performance C/C++ implementations from theory to production-ready software integrated into commercial tool suites. You’ll work closely with cross-functional teams to translate formal methods into scalable solutions that enable industry-leading verification at scale. This is a chance to shape cutting-edge tools at the intersection of formal methods and autonomous AI agents. Compensation / Benefitsbase salaryequitybenefitscareer growth opportunitiesremote-friendly optionsinclusive culture ResponsibilitiesArchitect and advance new formal verification algorithms (Model Checking, SAT/SMT, BDDs, Equivalence Checking, Theorem Proving)Design, develop, and deploy multi-agent AI systems (LLMs, RL, GNNs) for RTL analysis, design-space partitioning, and solver parameter tuningDevelop orchestration layers enabling autonomous agents to collaborate and handle billions of gates and deep sequential depthCreate engines capable of ingesting, abstracting, and automatically generating System Verilog Assertions from natural language specs and architectural intentLead feature development from research to high-performance C/C++ integration within commercial EDA tool suites Key requirementsPh.D. or Master’s degree or equivalent experience in CS/EE/CE or related fieldMinimum 15 years of R&D experience building commercial or advanced academic EDA hardware verification toolsDeep knowledge of formal methods (BMC, PDR/IC3, abstract interpretation, theorem proving)Expert-level proficiency in C/C++ (Modern C++17/20) with focus on data structures, memory optimization, and multi-threadingExperience with Agentic AI pipelines and multi-agent frameworks (LangChain, AutoGen, CrewAI)Experience with RTL languages (SystemVerilog, VHDL, Verilog) and SystemVerilog Assertions (SVA)Proven track record deploying EDA solutions in high-stakes environmentsStrong collaboration and problem-solving skillscollegial collaborationproblem-solving mindsetability to communicate complex ideas clearlyC/C++ high-performance developmentFormal methods (BMC, IC3/PDR, abstract interpretation, theorem proving)Model checking, SAT/SMT solvers, BDDs