Current jobs related to Formal Verification Engineer - Markham, Ontario - AMD
-
Design Verification Engineer
3 weeks ago
Markham, Ontario, Canada Advanced Micro Devices inc. Full timeThe Role:We are seeking a skilled ASIC Design Verification Engineer to join our team at Advanced Micro Devices inc. The ideal candidate will have a strong background in digital design and computer architecture, with experience in verification of complex IP blocks and a proven track record of delivering high-quality results.Key Responsibilities:Collaborate...
-
ASIC Design Verification Engineer
3 weeks ago
Markham, Ontario, Canada Advanced Micro Devices Full timeTransforming Lives with AMD TechnologyWe are seeking a skilled ASIC Design Verification Engineer to join our team at Advanced Micro Devices. As a key contributor to the success of our IP, you will be part of a leading team to drive and improve AMD's abilities to deliver the highest quality, industry-leading technologies to market.The Role:The AMD IOHUB Team...
-
Digital Verification Engineer
4 weeks ago
Markham, Ontario, Canada Advanced Micro Devices inc. Full timeAbout the RoleWe are seeking a highly skilled Digital Verification Engineer to join our team at Advanced Micro Devices inc. in Markham, ON. As a member of our NBIO team, you will play a critical role in bringing cutting-edge designs to life.Key ResponsibilitiesCollaborate with design teams to understand and define verification requirements for high-speed,...
-
Digital Verification Engineer
4 weeks ago
Markham, Ontario, Canada Advanced Micro Devices inc. Full timeAbout the RoleWe are seeking a highly skilled Digital Verification Engineer to join our team at Advanced Micro Devices inc. in Markham, ON. As a member of our NBIO team, you will play a critical role in bringing cutting-edge designs to life.Key ResponsibilitiesCollaborate with design teams to understand and define verification requirements for high-speed,...
-
Senior ASIC SOC Design Verification Engineer
4 weeks ago
Markham, Ontario, Canada Advanced Micro Devices inc. Full timeUnlock the Future of ComputingWe're on a mission to revolutionize the world of computing, and we need your expertise to make it happen. As a Senior ASIC SOC Design Verification Engineer at Advanced Micro Devices inc., you'll be part of a talented team that's pushing the boundaries of innovation.The RoleWe're seeking a highly skilled and motivated individual...
-
Senior ASIC SOC Design Verification Engineer
4 weeks ago
Markham, Ontario, Canada Advanced Micro Devices inc. Full timeUnlock the Future of ComputingWe're on a mission to revolutionize the world of computing, and we need your expertise to make it happen. As a Senior ASIC SOC Design Verification Engineer at Advanced Micro Devices inc., you'll be part of a talented team that's pushing the boundaries of innovation.The RoleWe're seeking a highly skilled and motivated individual...
-
Digital Verification Engineer
2 weeks ago
Markham, Ontario, Canada Synopsys, Inc. Full timeJob Title: Digital Verification Engineer - ASIC Design ExpertAbout the Role:We are seeking a highly motivated and innovative ASIC digital verification engineer to join our expert team of digital and mixed-signal engineers. As a key member of our team, you will be responsible for delivering high-end mixed-signal designs from creating test plans to performing...
-
Digital Verification Engineer
2 weeks ago
Markham, Ontario, Canada Synopsys, Inc. Full timeUnlock the Future of Silicon IPAt Synopsys, we're at the heart of the innovations that change the way we work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the Era of Smart Everything. And we're powering it all with the world's most advanced technologies for chip design and...
-
Design and Verification Engineer
4 weeks ago
Markham, Ontario, Canada Advanced Micro Devices Full timeTransforming Lives with AMD TechnologyWe are passionate about enriching our industry, communities, and the world through innovative computing experiences. Our mission is to build cutting-edge products that accelerate next-generation computing, from data centers to PCs, gaming, and embedded systems.Join the AMD IOHUB TeamWe are seeking an ASIC Design...
-
Design and Verification Engineer
4 weeks ago
Markham, Ontario, Canada Advanced Micro Devices Full timeTransforming Lives with AMD TechnologyWe are passionate about enriching our industry, communities, and the world through innovative computing experiences. Our mission is to build cutting-edge products that accelerate next-generation computing, from data centers to PCs, gaming, and embedded systems.Join the AMD IOHUB TeamWe are seeking an ASIC Design...
-
Design and Verification Engineer
3 weeks ago
Markham, Ontario, Canada Advanced Micro Devices Full timeTransforming Lives with AMD TechnologyWe are passionate about harnessing the power of innovation to enrich our industry, communities, and the world. Our mission is to create groundbreaking products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming, and embedded...
-
Firmware Verification Engineer
1 month ago
Markham, Ontario, Canada Synopsys, Inc. Full timeJob Title: Firmware Verification EngineerWe are seeking a highly motivated and innovative Firmware Verification Engineer to join our team at Synopsys, Inc. This is an excellent opportunity to work with a highly experienced mixed-signal design team responsible for delivering high-end mixed-signal designs.Job Summary:The Firmware Verification Engineer will be...
-
Firmware Verification Engineer
1 month ago
Markham, Ontario, Canada Synopsys, Inc. Full timeJob Title: Firmware Verification EngineerWe are seeking a highly motivated and innovative Firmware Verification Engineer to join our team at Synopsys, Inc. This is an excellent opportunity to work with a highly experienced mixed-signal design team responsible for delivering high-end mixed-signal designs.Job Summary:The Firmware Verification Engineer will be...
-
Digital Verification Engineer
3 weeks ago
Markham, Ontario, Canada Synopsys, Inc. Full timeAbout the RoleWe are seeking a highly motivated and innovative individual to join our team as a Digital Verification Engineer. As a key member of our mixed-signal design team, you will be responsible for delivering high-end mixed-signal designs from specification development to performing functional and performance tests on the test-chips.Key...
-
Digital Design Verification Engineer
3 weeks ago
Markham, Ontario, Canada Advanced Micro Devices Full timeAbout the RoleWe are seeking a highly skilled Digital Design Verification Engineer to join our team at Advanced Micro Devices (AMD). As a key member of our team, you will be responsible for verifying the design of our digital ASICs, ensuring that they meet the highest standards of quality and performance.Key ResponsibilitiesDevelop and implement verification...
-
ASIC Design Verification Engineer
4 days ago
Markham, Ontario, Canada LanceSoft, Inc. Full time**Role Summary**The team at LanceSoft, Inc. is seeking an experienced ASIC Design Verification Engineer to contribute to the success of our projects. The ideal candidate will have a strong understanding of SystemVerilog and Verilog, with experience in UVM-based verification methodology.Main Responsibilities:• Maintain and enhance verification environments...
-
Digital Verification Engineer
3 weeks ago
Markham, Ontario, Canada Synopsys, Inc. Full timeAbout the RoleWe are seeking a highly motivated and innovative Digital Verification Engineer to join our team at Synopsys, Inc. As a key member of our mixed-signal design team, you will be responsible for delivering high-end mixed-signal designs from specification development to performing functional and performance tests on the test-chips.Key...
-
Design and Verification Engineer
3 weeks ago
Markham, Ontario, Canada AMD Full timeJob Description Transforming Lives with AMD Technology We are committed to building great products that accelerate next-generation computing experiences. Our mission is to push the limits of innovation to solve the world's most important challenges. As a Design and Verification Engineer at AMD, you will be working on some of the most exciting projects in...
-
Markham, Ontario, Canada AMD Full timeWe are seeking a highly motivated Hardware Design Verification Engineering intern/coop to support the testing and verification of AMD's high-end Machine Intelligence products. The ideal candidate will have a strong background in Electrical engineering, Computer science, or Computer engineering and experience with programming languages such as C++, Python, or...
-
Markham, Ontario, Canada Synopsys, Inc. Full timeJob Title: ASIC and Firmware Digital Verification Engineer InternWe are seeking a highly motivated and innovative ASIC/firmware digital verification engineer intern to join our team.About the Role:As a digital verification engineer intern, you will be working as part of a highly experienced mixed-signal design team, responsible for verifying current and...
Formal Verification Engineer
2 months ago
Job Summary
We are seeking a Formal Verification Engineer to join our team, responsible for verifying the functionality and security of complex IPs using cutting-edge formal verification technologies.
Job Description
At AMD, we push the limits of innovation to solve the world's most important challenges. Our mission is to build great products that accelerate next-generation computing experiences. We strive for execution excellence while being direct, humble, collaborative, and inclusive of diverse perspectives.
The Advance Formal Verification team is dedicated to formal verification, providing formal functional and security verification for a broad range of IPs. We are currently looking for formal verification engineers with expertise in IP verification, formal verification methodologies, high-speed IO bus protocols, and team leadership.
**Key Responsibilities:**
• Collaborate with architects and designers to understand design intents
• Create and execute formal verification plans for design blocks
• Write and debug properties to verify the design, analyze signatures, and push for resolution
• Optimize runtime using formal techniques
• Collect and report status and progress
• Improve formal setups based on feedback from reviews, metrics, etc.
• For senior-level positions:
+ Lead and coordinate verification activities for a small team
+ Train and coach junior engineers
+ Develop working procedures, flows, and infrastructure
+ Handle complicated formal problems
**Preferred Experience:**
• 5+ years of combined ASIC/FPGA design and verification experience
• Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods
• Expertise in a formal property language (SVA preferred), abstraction techniques, formal sign-off, and commercial formal tools
• Extensive experience verifying complex, packet, or control-based designs
• Familiarity with industry-standard high-speed protocols such as PCIe, CXL, SATA, USB, AXI, UCIe, etc.
• Experience with verification of Hardware-Firmware interaction is highly desirable
**Academic Credentials:**
• BS (or higher) degree in Electronics/Electrical or Computer Engineering desired
