Advance your career at AMD as a Formal Verification Engineer specializing in high-speed I/O protocols and formal verification methodologies. Work on groundbreaking IP projects in an inclusive, supportive setting. Join the Formal Verification team at AMD, dedicated to ensuring the highest design quality using cutting-edge tools and methodologies.
Your role will involve collaborating across teams, developing verification plans, and educating junior engineers. This position is critical in pushing the boundaries of semiconductor design quality and efficiency. Key Responsibilities:
Collaborate with architects and designers to align on verification goals
Create formal verification plans for complex designs and IPs
Write properties to verify designs, analyze issues, and drive resolutions
Optimize runtime and improve verification processes based on feedback
Lead small teams and mentor recent engineers in best practices
Requirements:
Comprehensive ASIC/FPGA design and verification background
Expertise with high-speed interconnects and PCIe protocols
Familiarity with AI-based formal verification techniques
Knowledge of property verification languages and formal tools
BS or higher in Electronics/Electrical or Computer Engineering
Bring your expertise in formal verification to AMD and contribute to revolutionary semiconductor designs.