The Constraint Solvers & Randomization team at Cadence is looking for a R&D Software Architect with background in CP and/or related areas. You will work with an experienced and diverse team in an Agile, fast pace environment, addressing challenging problems and developing solutions used by thousands of our customers worldwide.
Responsibilities include, but are not limited to the following:
Design and Development of industrial constraint solving tools in Linux/C++ environment.
A strong emphasis on performance and scalability.
Work in collaboration with the team on addressing our customers' requirements.
Qualifications and Experience Requirements:
Bachelors in Computer Science or Electrical Engineering with a minimum of 12 years of related experience, or Masters with a minimum of 10 years of related experience, or PhD with a minimum of 8 years of related experience
Expertise in CP / SAT / SMT / Theorem Proving / Formal Methods is strongly preferred.
Expertise in C++ development.
Excellent understanding of Object-Oriented Design principles and patterns.
Familiarity with Linux OS basics and scripting.
Independent, with an internal drive and self-motivated.
Good communication skills and collaboration capabilities.