Centaur Technology, Inc. is recruiting for a Formal Verification Engineer (Req# 243) in Austin, Texas. Duties include Research, design, develop, and test software to verify microprocessors, verify micro-operations on microprocessors, and verify the implementation of arithmetic integer, floating-point and miscellaneous bit instruction and logic instructions on microprocessors. To apply, submit resume referencing Formal Verification Engineer and Req#243 to recruiter@centtech.com. Centaur Technology, Inc. is an EOE.
This ad has been viewed 46 times
PostedMarch 14, 2018