Lead Software Engineer

What You'll Do

• Develop core ECO algorithms, data models, and software components for Conformal ECO.
• Debug, analyze, and resolve complex customer design scenarios, including large‑scale SoCs, hierarchical ECO, and sequential ECO cases.
• Collaborate with global R&D teams to integrate ECO features with Genus, Innovus, LEC, and Cerebrus flows.
• Drive innovation by proposing and implementing enhancements to improve runtime, memory, and ECO patch quality.
• Work with field teams to understand customer use cases, reproduce issues, and deliver robust long‑term solutions.
• Job Qualifications: Master’s, or PhD in Computer Science, Electrical Engineering, or a related technical field. 5+ years of experience in EDA software development or formal verification.
• Strong proficiency in C++ (required); Python or Tcl experience is a plus.
• Experience with large-scale software systems, performance optimization, and debugging of complex codebases.
• Deep understanding of Engineering Change Order (ECO) flows, including gate‑level patch generation, netlist transformation, and structural/functional equivalence.
• Additional Skills/Preferences: Experience developing algorithms for ECO patch minimization, logic restructuring, or Boolean/graph optimization.
• Experience analyzing timing‑driven, physically‑aware ECO flows, including interactions with place‑and‑route tools (Innovus preferred).
• Strong problem‑solving skills and ability to work independently in a fast‑paced environment.
• Excellent communication skills for cross‑team technical collaboration.
• Additional Information: The ECO R&D team works closely with global teams in US/India/China on core infrastructure and advanced ECO automation.
• Tools/Technologies: C++, Python, Tcl, Git, Conformal/Genus/Innovus Travel: Minimal (<10% domestic/international), primarily for collaboration or technical alignment if required.
• We’re doing work that matters.
• Help us solve what others can’t.