You are viewing a preview of this job. Log in or register to view more details about this job.

Intern: AI/ML for Enhancing VC Formal Orchestration

As an intern at Synopsys, you will gain hands-on experience while working alongside industry professionals. You will develop and refine skills relevant to your major and future career by contributing to high-impact business projects. The Synopsys intern program integrates our interns into the culture with career opportunities upon graduation. This summer internship is full-time (40 hours/week) beginning May/June 2023 and will last three months.

 

Responsibilities:
You will be exploring AI/ML for enhancing VC Formal orchestration. The goal of this project is to research and experiment on approaches of improving VC Formal orchestration for multiple Apps (FPV, SEQ, FCA, etc.). There will be mix of data analysis along with application of AI/ML techniques. To do so effectively, there will be the need to develop a robust analysis framework to perform systematic experiments. This include building automation and data analysis utilities. Some of the area of improvement would be:
  • Engine benchmarking/liveness benchmarking system improvements/experiments
  • Measure variability in orchestration runs and experiment with ways to reduce it
  • Formal core/fvorc jiras/enhancement requests
  • Bug hunting experiments

 

Requirements:
  • Ambitious, Curious, Self-motivated, solid communication skills
  • Python for automation (parsing, processing) and data analysis
  • LINUX shell (bash, csh, sed, awk,...) for combining script and enabling automation
  • C++ for combining in existing code base
  • AI/ML knowledge SciKit Learn, Pandas data processing, or similar etc.
  • Currently enrolled in college pursuing a relevant degree
 
Our Silicon IP business is all about integrating more capabilities into an SoC—faster. We offer the world’s broadest portfolio of silicon IP—predesigned blocks of logic, memory, interfaces, analog, security, and embedded processors. All to help customers integrate more capabilities. Meet unique performance, power, and size requirements of their target applications. And get differentiated products to market quickly with reduced risk.
 
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.
 

Stay Connected: Join our Talent Community
 
Synopsys has adopted a COVID-19 vaccination policy to safeguard the health and well-being of our employees and visitors. As a condition of employment, all employees based in the U.S. are required to be fully vaccinated for COVID-19, unless a reasonable accommodation is approved or as otherwise required by law.
 
Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.