The candidate will be part of the Static Verification team, a group of talented engineers dedicated to developing and enhancing platform for our static verification products. This team collaborates closely with other departments, including design, development, and customer support, to ensure seamless integration and execution. Together, the candidate will work on cutting-edge projects that push the boundaries of technology and contribute to the success of Synopsys and its customers.

Person will work in platform team of static verification. Platform team provides support to various apps which are part of static verification. The hired candidate will provide features and support needed for successful deployment and ongoing business for apps of static verification. He might also work in developing GenAI application related to static platform.

Technical competencies required for the role

1. Strong hands-on experience in C/C++ based Object Oriented large and complex enterprise software development.
2. Strong background in Design Patterns, Data Structure, Algorithms, and programming concepts.
3. Well versed with Software Engineering and development processes.
4. Experience with popular AI/ML frameworks (e.g., TensorFlow, PyTorch) is desirable.
5. Experience with production code development on Unix/Linux platforms.
6. Ability to develop new architectures and demonstrate strong leadership skills.
7. Ability to troubleshoot, debug, and support software applications.
8. Good analysis and problem-solving skills.
9. 4+ years of software development experience.

Preferable skills

1. Experience in EDA/AI/ML research and development
2. Exposure to Tcl, Python, Shell scripting and/or Vim
3. Exposure to developer tools such as gdb, Valgrind, Visual Studio and Eclipse.
4. Exposure with source code control tool like Perforce, Clearmake, CVS or Git.