Synopsys
Location
Bangalore | India
Job description
Typically requires a BS/MS in CS/EC with 10+ 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
Job tags
Salary
