At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Cadence Design Systems Inc. (https://www.cadence.com/) is looking for a motivated Intern: Software Engineering to work with us in Belo Horizonte, Brazil. Cadence has been nominated as a Great Place to Work globally and in Brazil and is also a Fortune 100 Best Companies to Work For (https://www.cadence.com/en\_US/home/company/newsroom/press-releases/pr/2020/cadence-named-by-fortune-and-great-place-to-work.html) . As a Software Engineering Intern, you will be part of Jasper Debug team in the Verification group in Belo Horizonte, Brazil. The Debug team works with Jasper, Cadence’s Formal Verification tool. To understand more on what we do, you can visit Jasper page on the Cadence Website (https://www.cadence.com/en\_US/home/tools/system-design-and-verification/formal-and-static-verification.html) . Job Description: + Learn and help implementing bug fixes and new features of Cadence’s Jasper formal verification tool. + Practice Object-oriented programming in C++ under Linux + Help implementing flows using scripting languages such as Python and Tcl + Follow good practices for software quality assurance such as creating new tests, running tests regressions, and collaborating with QA engineers Requirements: + In progress Bachelor's degree: studying Computer Science, Electrical Engineering, or related fields, graduating between Dec/2026 and July/2027. + Availability to work in Belo Horizonte, Brazil. Nice to have: + Verbal and written communication skills in English + Interest in Graphical User Interface (GUI) development + Interest in C++ programing languages Additional Job Details: + Employment category: Internship + Employment term: 20 hours/week + Location: Av. do Contorno, 5800 - Savassi, Belo Horizonte - MG About Cadence Design Systems: Cadence is the only company that provides the expertise and tools, IP, and hardware required for the entire electronics design chain, from chip design to chip packaging to boards and to systems. We enable electronic systems and semiconductor companies to create innovative products that transform the way people live, work, and play. Our products are used in mobile, consumer, cloud datacenter, automotive, aerospace, IoT, industrial and other market segments. For more information, access http://www.cadence.com. We’re doing work that matters. Help us solve what others can’t. We’re doing work that matters. Help us solve what others can’t. Additional Jobs (https://cadence.wd1.myworkdayjobs.com/addl\_jobs) Cadence plays a critical role in creating the technologies that modern life depends on. We are a global electronic design automation company, providing software, hardware, and intellectual property to design advanced semiconductor chips that enable our customers create revolutionary products and experiences. Thanks to the outstanding caliber of the Cadence team and the empowering culture that we have cultivated for over 25 years, Cadence continues to be recognized by Fortune Magazine as one of the 100 Best Companies to Work For. 
 Our shared passion for solving the world’s toughest technical challenges, our dedication to pushing the limits of the industry, and our drive to do meaningful work differentiates the people of Cadence. Cadence is proud to be an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, sex, age, national origin, religion, sexual orientation, gender identity, status as a veteran, basis of disability, or any other protected class. Cadence is committed to creating a diverse environment and is proud to be an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, sex, age, national origin, religion, sexual orientation, gender identity, status as a veteran, basis of disability, or any other protected class.