Sr. Principal Functional Verification Engineer: Applied ML at Cadence Design Systems (Belo Horizonte)