AMD seeks a manager to lead a Formal Verification engineering team. Responsibilities include talent development, methodology improvement, and meeting verification commitments for critical IPs. Requires leadership and robust technical experience in Formal Verification.