Intern: Application Engineering - Formal Verification

Description

:

Activities focused on the Formal Verification field as mentioned above, mentored by experienced colleague, and reporting to higher management.

Provide technical support to customers and field personnel in RTL verification solutions focused on the Jasper tool.

​ Conduct root cause analysis and provide resolution to customer technical issues.

Run customer test cases to verify problems, create workarounds when possible, test and deliver R&D fixes.

Close collaboration with R&D on issues using established protocols.

Author application notes and help provide feedback on documentation.

Use scripting languages like TCL for flow development, automation and enhancing design methodologies.

Requirements: Ongoing Bachelor in Electrical Engineering, Control and Automation Engineering, Systems Engineering, Electronics Engineering, Computer Science, Information Systems, Computational Mathematics, or related areas. Graduating in mid 2027 . Excellent verbal and written communications skills in Portuguese and English. Good problem-solving skills. Strong inter-personal and communication skills. A strong interest in learning the technical topics mentioned above. Nice to have: Basic understanding or University knowledge and contact with any of these: Experience in scripting languages such as TCL and Python is a plus. Exposure to RTL (Verilog or VHDL) is a plus. Additional Job Details: Employment category: Internship. Employment term: 20 hours/week. Competitive benefits. Av. do Contorno 5800, Savassi, Belo Horizonte, Minas Gerais. About Cadence Design Systems: At Cadence, we hire and develop leaders and innovators who want to impact the world of technology. Cadence has been nominated as a Great Place to Work globally and in Brazil and is also a . 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 . We’re doing work that matters. Help us solve what others can’t.