Advanced Micro Devices is a semiconductor company that designs and develops graphics units, processors, and media solutions. The Design Verification Engineer will work with formal experts and designers to verify formal properties and drive convergence, ensuring the quality and correctness of designs through formal verification techniques.