Formal Verification Apprenticeship

Category Interns/Temp Hire Type Intern Job ID 13875 Remote Eligible No Date Posted 31/12/2025

We Are: 

Drive technology innovations that shape the way we live and connect. Our technology drives the Era of Pervasive Intelligence, where smart tech and AI are seamlessly woven into daily life. From self-driving cars and health-monitoring smartwatches to renewable energy systems that efficiently distribute clean power, Synopsys creates high-performance silicon chips that help build a healthier, safer, and more sustainable world.

Apprenticeship Experience:
 At Synopsys, apprentices dive into real-world projects, gaining hands-on experience while collaborating with our passionate teams worldwide—and having fun in the process! You'll have the freedom to share your ideas, unleash your creativity, and explore your interests. This is your opportunity to bring your solutions to life and work with cutting-edge technology that shapes not only the future of innovation but also your own career path. Join us and start shaping your future today!

Mission Statement:
 Our mission is to fuel today’s innovations and spark tomorrow’s creativity. Together, we embrace a growth mindset, empower one another, and collaborate to achieve our shared goals. Every day, we live by our values of Integrity, Excellence, Leadership, and Passion, fostering an inclusive culture where everyone can thrive—both at work and beyond.

What You’ll Be Doing:

• Develop comprehensive test plans for formal verification tools and innovative methodologies.
• Validate advanced features of EDA tools such as Synopsys VC Formal on software, including Property Verification (FPV), Sequential Equivalence (SEQ), and Connectivity Checking.
• Create and execute robust test cases and regression suites to thoroughly assess tool functionality and performance.
• Analyze tool behavior, debug complex issues, and effectively communicate findings to the R&D team for resolution and improvement.
• Collaborate closely with cross-functional teams, including R&D, application engineers, and product management, to define and enhance tool features.

What You’ll Need:

• B.E./B.Tech in Electronics, Computer Science or related fields.
• Fresh graduates from the class of 2024 or 2025 only.
• Not currently enrolled in any M-Tech programs or postgraduate diplomas.
• Not employed in any full-time positions at any company (limited internship experience is acceptable).
• Hands-on experience with formal verification tools such as Synopsys VC Formal.
• Strong academic knowledge of formal methods, SystemVerilog Assertions (SVA), and digital design fundamentals.
• Proficiency in C/C++ and scripting languages (Python, Perl, Tcl) within Unix/Linux environments.

Key Program Facts:

• Program Length: 12 Months
• Location: Bangalore, India
• Working Model: Onsite
• Full-Time/Part-Time: Full-time
• Start Date: January/ February 2026

Equal Opportunity Statement:

Synopsys is committed to creating an inclusive workplace and is an equal opportunity employer. We welcome all qualified applicants to apply, regardless of age, color, family or medical leave, gender identity or expression, marital status, disability, race and ethnicity, religion, sexual orientation, or any other characteristic protected by local laws. If you need assistance or a reasonable accommodation during the application process, please reach out to us.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.