At Synopsys, we’re at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. And we’re powering it all with the world’s most advanced technologies for chip design and software security. If you share our passion for innovation, we want to meet you.  

Synopsys is a worldwide leading supplier of horizontal IP which is used by our customers to design semiconductor integrated circuits. The IP product portfolio includes ARC processors, high-performance Vector DSP processors, industry-leading neural network processors, USB, DDR, and Ethernet interface controllers and much more. 

We are seeking an experienced senior verification engineer to work on Machine Learning/Computer Vision/Neural Networks projects. The successful candidate will lead the verification efforts in Neural network compilers and tools for Synopsys NN processors and accelerators. 

Main Responsibilities:

• Create and execute verification and test plans 
• Generate backend test models and reference data 
• Assume responsibility for the completeness of the Product/release verification 
• Support integration testing with other components of the system 
• Generate advanced verification reports as a part of the standard CI/CD flow and for specific releases 
• Driving pragmatic, but structural verification process 
• Support colleagues developing benchmarking and accuracy test flows 

The R&D team is globally distributed, and the verification lead will interface with stakeholders from many locations in Europe, Asia and North America. 

Key Requirements:

• Programming skills inPython 
• Familiar with at least one popular Machine Learning framework (ONNX, PyTorch or TensorFlow)
• Experience in test automation and CI/CD (e.g. Jenkins, GitLab CI) 
• Proven skills in writing verification and test plans 
• Proficient skills in various test techniques 
• Maintain regression test suites and release jobs
• Experience in execution, tracking and reporting of the verification process 
• Excellent communication skills and fast learning capabilities 
• Good level of both verbal and written English 

Optional qualifications :

• Familiar with model quantization and/or accuracy testing of the neural networks 
• Skills in source code management and revision control tools (Perforce, Git) 
• Experience in compute grids and Linux compute clusters (e.g. SGE/UGE) 
• Experience with both Linux and Windows software CI/CD environments