Intern: Application Engineering - Formal Verification
Cadence Design Systems
Belo Horizonte
Workplace: OnsitePart timeFunction: Healthcare (Clinical, Medical, Wellness)Education: bachelorsSkills: ["Communication","Problem-solving","Interpersonal communication","Tcl","Python","Verilog","Vhdl","Rtl verification"]Intern in Formal Verification within Cadence’s Belo Horizonte team, trained to become an expert in RTL verification using the Jasper platform and Cadence tools (Xcelium, Palladium, Protium). You’ll provide technical support, perform root-cause analysis, run test cases, and collaborate with R&D, while learning scripting (TCL) and verification methodologies on real customer scenarios.
