Qualifications

• Master's degree in Electrical Engineering, Electronics Engineering, or related field
• Minimum three years of experience in software development or a related field
• Proficiency in C/C++ for large-scale software systems, including debugging and optimization
• Knowledge of logic equivalence checking and techniques like SAT solvers and BDDs
• Understanding of computational algorithms and data structures focused on equivalence checking and circuit analysis
• Experience with scripting languages such as Python and Tcl
• Familiarity with version control tools like Git and Perforce
• Expertise in datapath analysis and operator learning of arithmetic components in gate-level netlists

Responsibilities

• Research, design, and develop computer and network software for a global computational software company
• Analyze user needs to develop software solutions using principles of computer science and engineering
• Architect and enhance algorithms for datapath learning, focusing on arithmetic component identification
• Optimize performance and memory usage of formal engines within large designs
• Provide technical guidance on formal verification to customers and application teams
• Design and implement advanced formal verification algorithms
• Research and develop machine learning approaches for Electronic Design Automation (EDA) and system design
• Analyze complex customer designs to evaluate algorithm performance and iterate on improvements
• Debug and provide solutions for customer issues and corner cases
• Document algorithms and present technical findings to contribute to long-term roadmap discussions

Benefits

• Some telecommuting permitted