Application Engineer Manager – Formal Verification and Functional Simulation at Cadence Design Systems (Belo Horizonte)