Ty   Typically requires a BS/MS in CS/EC with 2+ years of relevant experience.
·         Excellent coder in C/C++.
·         Strong background in algorithms and data structures
·         Prior Knowledge of digital logic is preferred.
·         Excellent analytical, logical reasoning and problem-solving skills
·         Prior experience in EDA optimization algorithms is beneficial.
·         Familiar with software development process, debugging tools and configuration management tools.
·         Should have experience working in a multi-person product development environment with high dependencies and tight schedules.
·         Resolves a wide range of issues in creative ways. Exercises judgment in selecting methods and techniques to obtain solutions.
·         Prior knowledge/experience/education in ‘Formal Technologies’ (model checking, LTL, CTL, formal engines like BDD, SAT) is good to have
 

Is a Remote Job?
No

Our Technology, Your Innovation

Synopsys is the leading silicon to systems design solutions company. Synopsys accelerates technology innovation, from silicon to systems.

Synopsys delivers the most...

Apply Now