This job board retrieves part of its jobs from: Scarborough Jobs | Manufacture Jobs | Work From Home

Bringing you the best job opportunities in Markham, Ontario

To post a job, login or create an account |  Post a Job

   markham jobs   

Every day you will find new job offers posted by people in Markham!

Slide 1
Slide 2
Slide 3
previous arrow
next arrow

Formal Verification Engineer – 129122

Advanced Micro Devices inc.

This is a Contract position in Markham, ON posted January 8, 2022.

What you do at AMD changes everything 

At AMD, we push the boundaries of what is possible.  We believe in changing the world for the better by driving innovation in high-performance computing, graphics, and visualization technologies – building blocks for gaming, immersive platforms, and the data center. 

Developing great technology takes more than talent: it takes amazing people who understand collaboration, respect, and who will go the “extra mile” to achieve unthinkable results.  It takes people who have the passion and desire to disrupt the status quo, push boundaries, deliver innovation, and change the world.   If you have this type of passion, we invite you to take a look at the opportunities available to come join our team.



Title : Formal Verification Engineer

The Role : This position is for a design verification engineer. The successful candidate will use formal verification technologies to complete functional verification of state-of-art design. Formal technologies being used include Formal Property Verification (FPV), Sequential Equivalence Check (SEC/SEQ/SLEC), Connectivity Check (CC), etc.

The Person : Will enjoy learning, growing and working in a fast paced environment

Responsiblities :

  • Crafting verification plan
  • Writing formal properties
  • Running formal verification tools
  • Debugging failures
  • Discussing issues with designers
  • Document, report and issue tracking

Preferred skillset & Experience:

  • A property language like SystemVerilog Assertion (SVA)
  • Understanding a HDL language like Verilog or VHDL
  • Concept and flow of design verification
  • Previous FPV experience or eager to learn





Requisition Number: 129122 
Country: Canada Province: Ontario City: Markham 
Job Function:Design


AMD is an inclusive employer dedicated to building a diverse workforce. We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective provincial human rights codes throughout all stages of the recruitment and selection process. Any applicant who requires accommodation should contact

AMD does not accept unsolicited resumes from headhunters, recruitment agencies or fee based recruitment services.