Current jobs related to Formal Verification Expert - Markham, Ontario - AMD

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

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

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

  • 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,...

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

  • ASIC and Firmware Digital Verification Engineer Intern

    2 months ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

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

  • ASIC and Firmware Digital Verification Engineer Intern

    2 months ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

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

  • High-Speed Digital Verification Engineer

    2 weeks ago

    Markham, Ontario, Canada Synopsys Full time

    Job SummaryWe are seeking a highly motivated and innovative ASIC/Firmware Digital Verification Engineer to join our team at Synopsys. As a key member of our mixed-signal design team, you will be responsible for creating and updating test plans and test cases, writing modular constrained-random/coverage-driven testbenches, and maintaining simulation...

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

  • Digital Verification Engineer Intern

    3 weeks ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

    Job SummaryWe are seeking a highly motivated and innovative Digital Verification Engineer Intern to join our team at Synopsys, Inc. The ideal candidate will have a solid understanding of digital circuit design and experience in writing test cases in Verilog and System Verilog.Key ResponsibilitiesCreating and updating test plans and test casesWriting modular...

  • Digital Verification Engineer Intern

    3 weeks ago

    Markham, Ontario, Canada Synopsys, Inc. Full time

    As a Digital Verification Engineer Intern at Synopsys, Inc., you will be part of a highly experienced mixed-signal design team responsible for delivering high-end mixed-signal designs. Your primary focus will be on verifying current and next-generation Backplane Ethernet, PCIe, SATA, and USB SERDES products.Key responsibilities include creating and updating...

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

  • Senior RTL Design Engineer

    1 month ago

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

    About the RoleWe are seeking a highly skilled RTL Design Engineer to join our team at Advanced Micro Devices inc. in Markham, Vancouver. As a key member of our graphics processor IP team, you will be responsible for planning, building, and executing the verification of new and existing features.Key ResponsibilitiesDesign and synthesize part of the system...

Formal Verification Expert

2 months ago

Markham, Ontario, Canada AMD Full time

{"h2": "Job Opportunity at AMD", "p": "At AMD, we're pushing 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're looking for a talented Formal Verification Engineer to join our Advance Formal Verification team.", "ul": [{"li": "Collaborate with architects and designers to understand design intents and create formal verification plans for design blocks."}, {"li": "Write and debug properties to verify designs, analyze signatures, and push for resolution."}, {"li": "Optimize runtime using formal techniques and collect and report status and progress."}, {"li": "Improve formal setups based on feedback from reviews and metrics."}, {"li": "For senior-level positions, lead and coordinate verification activities for a small team, train and coach junior engineers, develop working procedures and flows, and handle complicated formal problems."}], "p": "We're looking for candidates with 5+ years of combined ASIC/FPGA design and verification experience, a strong background in formal property verification, and expertise in formal property languages and commercial formal tools. Familiarity with industry-standard high-speed protocols and experience verifying complex designs is a plus.", "h2": "What We Offer", "ul": [{"li": "A dynamic and inclusive work environment", "li": "Opportunities for growth and professional development", "li": "Competitive compensation and benefits package"], "p": "If you're passionate about formal verification and want to be part of a team that's changing the world, we encourage you to apply.", "p": "AMD is an equal opportunity employer and welcomes applications from diverse candidates.", "p": "We're committed to creating an inclusive and accessible workplace.", "p": "Thank you for considering AMD as your next career step.", "p": "We look forward to reviewing your application.", "p": "Best regards, AMD Recruitment Team"}