Sr. Manager Formal Design Verification Engineer at AMD (Markham)