Formal Design Verification Engineer at AMD (Austin)