中文 English

Cadence

 

Job Description

We are looking for highly motivated software engineer to join a team researching and expanding our formal verification engines, proof infrastructure and algorithms.  The successful candidate should have experience designing and developing high-quality, high performance C++ applications.  Experience with formal verification, model checking theory and heuristics is a plus.  We’re looking for someone who can work well in a multi-national team and develop, and maintain, high quality products using a structured development methodology.

 

Our team develops world leading verification solutions used by top tier hardware design and consumer electronics companies. Our technologies in formal verification, built up by advanced algorithms and backed up by strong research and development utilizing and expanding the theories and applicability in the world of verification.

For more & updated details, hit “Apply for job”