Datapath Formal Verification Engineer @ Intel

Job Information

Job Description:

As part of seeding the group’s expansion we are looking to hire talented individuals who will share our passion for Datapath Formal Verification and our value of quality, innovation and insight. With breadth, depth, applied research, internal customer influence & engagement and offering a unique view of Intel’s GPU IP, this role offers a rare opportunity to become a true subject matter expert.

You will help us with the following responsibilities:

  • Work within a small team of world class design and verification experts.
  • Understand, crystallize and extract the requirements for mathematical hardware blocks with various architects and engineers within the 3D & Media IP teams at Intel.
  • Own, develop, diagnose & drive Datapath Formal Verification on within 3D & Media, using industry leading tools.
  • Collaborate with EDA vendors R&D to enhance existing tools and create new ones.
  • Research new techniques to prove the correctness of datapath components, becoming a datapath formal verification expert in the process.
  • Educate other members of the GPU group and across the company.
  • Produce patentable work in a research and invention focused environment.
  • Attend, publish and present in the most important conferences in the industry.

Behavioral traits that we are looking for:

Our success hinges on understanding the needs of others, creating ideas with others, being & wanting to be understood by others, growing others as we grow ourselves. Successful ideas must be generated as well as disseminated – both require equal energy. We look for candidates who are:

  • Highly inquisitive
  • Friendly and patient with high levels of technical empathy
  • Generous & motivational with ideas & knowledge
  • Interested in providing complete, clear and concise delivery of complex material, whether emailed, presented, documented or verbalized tailored to the audience.
  • Consistent ability to challenge the status quo – tenacious in driving improvements & innovations
  • Ability to successfully & patiently liaise with and influence multiple groups
  • Willing and interested in mentoring others
  • Excellent creative problem-solving, analytical, and communication skills.




This is an entry level position and will be compensated accordingly.

You must possess the below minimum qualifications to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Experience would be obtained through a combination of prior education level classes, and current level school classes, projects, research and relevant previous job and/or internship experience.

Minimum Qualifications:

Master’s Degree or higher in Mathematics, Computer Science, Electronic Engineering or equivalent and 6+ months experience in two or more of the following:

  • Applied mathematics role
  • Floating-point arithmetic and implementation
  • Formal Verification using tools like: Synopsys VC Formal, Cadence JasperGold, or similar
  • Verilog, SystemVerilog, C++, Python, Perl, TCL

Preferred Qualifications:

    • Formal Equivalence Checking

Experience Level: Senior
Work From: Hybrid Poland

Company Information

View all jobs of Company: Click here

Pin It on Pinterest