Technical Engineering Intern
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.
You will work with the Formality Solver team. The project entails working on state-of-the-art solver technology for logic-equivalence-checking. Tasks include: researching new solver technologies, exploring optimal tuning of solvers, ML-based approach to learn how to invoke best strategy, coming up smart solver strategies that can deliver best results in terms of completion and runtime.
- Knowledge of SAT
- ML knowledge
- Proficiency in C++
- Some scripting to analyze results
- Currently pursuing a PhD
The base salary range across the U.S. for this role is between $24.00 to $48.05. In addition, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request.
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