Lead Software Engineer

bug, 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.