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 workplace.
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 current 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.#J-18808-Ljbffr

📌 Amd Formal Verification Engineer Role Winnipeg
🏢 AMD
📍 Winnipeg