Formal Verification Internship

Technology, Data & Digital · Software & Web Development · Embedded Systems · Software Engineering

In short

This is a 12-month, full-time, in-office Formal Verification Internship in Bengaluru, India. Interns will learn formal verification methodologies, work on live projects with seasoned engineers, and contribute to quality improvements. The program is ideal for students pursuing B.E./B.Tech/M.Tech in Electronics, Electrical, or related fields, graduating in 2027, with a strong foundation in computer architecture and digital design.

Responsibilities

Learn the latest formal verification methodology from experts.
Apply learnings to live projects.
Work with a team of seasoned FV engineers.
Execute validation as per defined plans.
Support quality improvements.
Contribute insights to enhance verification tool capabilities.

Requirements

Currently pursuing a B.E./B.Tech/M.Tech in Electronics, Electrical, Instrumentation, or related fields.
Candidates graduating 2027 will be preferred.
Strong academic foundation with relevant coursework, projects, or internships in semiconductor design.
Strong knowledge of computer architecture and digital design fundamentals.
Exposure to the domains of Formal Verification, Verilog/SystemVerilog design, System Verilog Assertions is a plus.
Excellent problem-solving skills and analytical thinking abilities.
Strong communication and collaboration skills to work effectively in team environments.
Proficiency in scripting languages (Python, Perl, Tcl) within Unix/Linux environments.

Benefits

Real-world projects
Hands-on experience
Opportunities to collaborate with passionate teams globally
Freedom to share ideas
Unleash creativity
Explore interests
Bring solutions to life
Work with cutting-edge technology
Shape career path
Inclusive culture
Foster innovation and collaboration
12 Months Internship Program
Full-Time

Skills

PythonPerlTclVerilogSystemVerilogSystem Verilog Assertions

#Internship#Formal Verification#Semiconductor

About Synopsys Inc

Smart, Secure Everything—From Silicon to Software Synopsys technology is at the heart of innovations that are changing the way we live and work. The Internet of Things. Autonomous cars. Wearables. Smart medical devices. Secure financial services. Machine learning and computer vision. These breakthroughs are ushering in the era of Smart, Secure Everything―where devices are getting smarter, everything’s connected, and everything must be secure. Powering this new era of technology are advanced silicon chips, which are made even smarter by the remarkable software that drives them. Synopsys is at…

See all open jobs at Synopsys Inc Read more about Synopsys Inc Website