Current jobs related to Formal Verification Specialist - Markham, Ontario - Advanced Micro Devices inc.

  • Design Verification Engineer

    3 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices inc. Full time

    The 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...

  • Physical Design Verification Specialist

    4 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices inc. Full time

    Job Title: Physical Design Verification SpecialistWe are seeking a highly skilled Physical Design Verification Specialist to join our team at Advanced Micro Devices inc. in Markham, Vancouver. As a key member of our I/O Pad Ring Team, you will be responsible for performing physical verification duties and methodology improvements on multiple exciting AMD...

  • Physical Design Verification Specialist

    4 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices inc. Full time

    Job Title: Physical Design Verification SpecialistWe are seeking a highly skilled Physical Design Verification Specialist to join our team at Advanced Micro Devices inc. in Markham, Vancouver. As a key member of our I/O Pad Ring Team, you will be responsible for performing physical verification duties and methodology improvements on multiple exciting AMD...

  • ASIC Design Verification Engineer

    3 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices Full time

    Transforming 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 time

    About 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 time

    About 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

    2 weeks ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

    Unlock 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...

  • Senior ASIC SOC Design Verification Engineer

    4 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices inc. Full time

    Unlock 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 time

    Unlock 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 time

    Job 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 Design Verification Specialist

    4 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices Full time

    About the RoleWe are seeking a highly skilled Digital Design Verification Engineer to join our team at Advanced Micro Devices. As a key member of our team, you will be responsible for the verification of complex IP blocks and take end-to-end ownership of key features for all projects.Key ResponsibilitiesParticipate in the verification of complex IP blocks...

  • Digital Design Verification Specialist

    4 weeks ago

    Markham, Ontario, Canada Advanced Micro Devices Full time

    About the RoleWe are seeking a highly skilled Digital Design Verification Engineer to join our team at Advanced Micro Devices. As a key member of our team, you will be responsible for the verification of complex IP blocks and take end-to-end ownership of key features for all projects.Key ResponsibilitiesParticipate in the verification of complex IP blocks...

  • Firmware Verification Specialist

    2 days ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

    About the RoleWe are seeking a highly motivated and innovative ASIC/Firmware Digital Verification Engineer intern to join our team at Synopsys, Inc.Key ResponsibilitiesDevelop and maintain test plans and test casesDesign and implement modular constrained-random/coverage-driven Verilog, SystemVerilog, and UVM/VMM testbenchesWrite SystemVerilog assertions to...

  • High-Performance Verification Specialist

    7 days ago

    Markham, Ontario, Canada Synopsys Full time

    We are seeking a highly motivated and innovative individual to join our mixed-signal design team at Synopsys.Key Responsibilities:Develop and execute system-level tests and validation in a prototype environment.Write modular constrained-random Verilog and System Verilog testbenches, as well as UVM/VMM testbenches.Perform functional coverage, assertion...

  • Research Scientist

    3 weeks ago

    Markham, Ontario, Canada Huawei Full time

    Research EngineerWe are seeking a highly skilled Research Engineer to join our team at Huawei.Key Responsibilities:Apply cutting-edge technologies to develop neural symbolic architectures with the integration of LLM/AI and Formal methods.Design and develop comprehensive testing strategies for LLM-based AI systems, including white box and black box...

  • Research Scientist

    4 weeks ago

    Markham, Ontario, Canada Huawei Full time

    Research EngineerAt Huawei, we are seeking a highly skilled Research Engineer to join our team. As a Research Engineer, you will play a key role in advancing the state-of-the-art in neural symbolic architectures, integrating LLM/AI and formal methods.Responsibilities:Design and develop comprehensive testing strategies for LLM-based AI systems, including...

  • Research Scientist

    4 weeks ago

    Markham, Ontario, Canada Huawei Full time

    Research EngineerAt Huawei, we are seeking a highly skilled Research Engineer to join our team. As a Research Engineer, you will play a key role in advancing the state-of-the-art in neural symbolic architectures, integrating LLM/AI and formal methods.Responsibilities:Design and develop comprehensive testing strategies for LLM-based AI systems, including...

  • Research Scientist

    4 weeks ago

    Markham, Ontario, Canada Huawei Full time

    Research EngineerAt Huawei, we are seeking a highly skilled Research Engineer to join our team. As a Research Engineer, you will play a key role in advancing the state-of-the-art in neural symbolic architectures, integrating LLM/AI and formal methods.Responsibilities:Design and develop comprehensive testing strategies for LLM-based AI systems, including...

  • Research Scientist

    4 weeks ago

    Markham, Ontario, Canada Huawei Full time

    Research EngineerAt Huawei, we are seeking a highly skilled Research Engineer to join our team. As a Research Engineer, you will play a key role in advancing the state-of-the-art in neural symbolic architectures, integrating LLM/AI and formal methods.Responsibilities:Design and develop comprehensive testing strategies for LLM-based AI systems, including...

  • Firmware Validation Specialist

    2 days ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

    We are seeking a talented Firmware Validation Specialist to join our team at Synopsys, Inc. As a key member of our mixed-signal design team, you will be responsible for ensuring the reliability and functionality of our high-performance digital designs.Key Responsibilities:Write modular constrained-random Verilog and System Verilog testbenches to validate...

Formal Verification Specialist

2 months ago

Markham, Ontario, Canada Advanced Micro Devices inc. Full time
Unlock the Power of Formal Verification

At Advanced Micro Devices inc., we're pushing the boundaries of innovation to solve the world's most complex challenges. As a Formal Verification Engineer, you'll play a critical role in ensuring the quality and reliability of our cutting-edge technologies.

Key Responsibilities:
  • Collaborate with architects and designers to understand design intents and create formal verification plans for design blocks.
  • Write and debug properties to verify designs, analyze signatures, and drive resolution.
  • Optimize runtime using formal techniques and collect/report status and progress.
  • Improve formal setups based on feedback from reviews, metrics, and other sources.
  • For senior-level positions, lead and coordinate verification activities for a small team, train and mentor junior engineers, develop working procedures, and handle complex 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 (VC-Formal, JasperGold, Questa Formal, etc.).
  • Extensive experience verifying complex, packet-based designs and 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.

AMD is an equal opportunity employer and welcomes applications from all qualified candidates.