#R54131
elp implementing bug fixes and new features of Cadence's Jasper formal verification tools
Practice Object-oriented programming in C++ under Linux
Help implementing flows using scripting languages such as Tcl and Python
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 in 2026 or later.
Availability to work in Belo Horizonte, Brazil.
Nice to have:
Verbal and written communication skills in English
Interested in learning of C or C++ programing languages
Interested in learning of Tcl or Python scripting languages
Notions about data structures and algorithms
Interested in software development using version control systems
Additional Details:
Employment category: Internship
Employment term: 20 hours/week
Location: Av. do Contorno, 5800 - Savassi, Belo Horizonte - MG
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://https://www.cadence.com
We're doing work that matters. Help us solve what others can't.