Formal Verification Engineer at Amazon