Software Engineer

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

Job Duties:

• Research, design, and develop computer and network software or specialized utility programs for multinational computational software company.
• Analyze user needs and develop software solutions, applying principles and techniques of computer science, engineering, and mathematical analysis.
• Architect and enhance algorithms for datapath learning, enabling automatic identification of arithmetic components such as adders, multipliers, shifters, and comparators in gate-level netlist.
• Optimize performance and memory usage of formal engines in large designs.
• Provide guidance and technical insights to customers and field application teams on formal verification adoption.
• Design and implement advanced formal verification algorithm.
• Research and develop Machine Learning approaches to problems in the EDA and system design, as well as design, implement, verify and maintain software to address those markets.
• Analyze complex customer designs and internal benchmarks to evaluate algorithm accuracy, scalability, and robustness, iterating rapidly on improvements.
• Root-cause the issues, debug, and provide fixes for customers' issues or corner cases.
• Present technical findings, document algorithms, and contribute to long-term roadmap discussions for formal verification.
• Some telecommuting permitted.

Qualifications:

• Master’s degree in Electrical Engineering, Electronics Engineering, or related field.
• Minimum three (3) years of experience in the job offered or in a related occupation.
• C/C++ for core development, including large-scale software systems, debugging and optimization
• Logic equivalence checking, including techniques like SAT solvers, Binary Decision Diagrams (BDDs) and circuit simulation
• Computational algorithms and data structures, particularly optimization problems related to equivalence checking and circuit analysis
• Scripting languages like python and Tcl
• Version control tools like git and perforce
• Datapath analysis and operator learning in logic circuits, including identification of arithmetic operators (adders, multipliers, shifters, comparators) in gate-level netlists

We’re doing work that matters. Help us solve what others can’t.