Lead Software Engineer

Cadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world s most innovative companies, delivering extraordinary electronic products from chips to boards to systems for the most dynamic market applications including consumer, hyperscale computing, 5G communications, automotive, aerospace industrial and health.

The Cadence Advantage

• The opportunity to work on cutting-edge technology in an environment that encourages you to be creative, innovative, and to make an impact.
• Cadence s employee-friendly policies focus on the physical and mental well-being of employees, career development, providing opportunities for learning, and celebrating success in recognition of specific needs of the employees.
• The unique One Cadence One Team culture promotes collaboration within and across teams to ensure customer success
• Multiple avenues of learning and development available for employees to explore as per their specific requirement and interests
• You get to work with a diverse team of passionate, dedicated, and talented individuals who go above and beyond for our customers, our communities, and each other every day.

Job Summary: We are looking for a candidate with good communication skills and ability to ramp up on new technologies quickly and independently. Candidate should be a team player and a learner being able to work with cross geaography R&D teams. This an excellent opportunity to work in a supportive and friendly work environment, where we are vested in each other s success, and are passionate about technology and innovation.

Qualifications:

• PhD in Computer Science with background in Formal Methods/Verification

Job Responsibilities:

• Hands on experience designing, developing, troubleshooting and debugging complex software
• Expertise in data structures, algorithms, operating systems, computer science concepts
• Expertise in formal methods, its applications, core algorithms is highly desirable. Exposure to SAT solvers, BDD packages.
• Development experience using configuration management systems on large software
• Hands on experience with software quality hygiene tools for address, logic and static checkers
• Candidate should have strong experience in C/C++ and thorough knowledge of software development practices
• Strong debugging skills
• Team player with strong communication skills
• Knowledge of assembly language for x86, ARM is desired

Experience and Technical Skills required

• 2-3 years of experience along with PhD in CS
• Knowledge of Verilog is a plus.
• Knowledge of scripting languages & Flow development is a big plus
• Must have excellent debugging skills and ability to separate out the critical issues from trivial ones.

Behavioral skills required

• Must possess strong written, verbal and presentation skills
• Ability to establish a close working relationship with both customer peers and management
• Explore what s possible to get the job done, including creative use of unconventional solutions
• Work effectively across functions and geographies
• Push to raise the bar while always operating with integrity