Software Architect

Posted:
6/25/2024, 5:00:00 PM

Location(s):
Center District, Israel ⋅ Petah Tikva, Center District, Israel

Experience Level(s):
Mid Level ⋅ Senior

Field(s):
Software Engineering

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

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.

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

Cadence Design Systems

Website: https://www.cadence.com/

Headquarter Location: San Jose, California, United States

Employee Count: 5001-10000

Year Founded: 1988

IPO Status: Public

Industries: Aerospace ⋅ Electronic Design Automation (EDA) ⋅ Hardware ⋅ Mobile ⋅ Semiconductor ⋅ Software