Arithmetic Formal Verification Engineer

Intel(1 month ago)

HybridFull TimeSenior$141,910 - $269,100Silicon Engineering

About this role

Intel is hiring an Arithmetic Formal Verification Engineer to join its silicon design organization focused on next-generation compute architectures. The role is centered on ensuring mathematical correctness and robustness of complex fixed-point and floating-point arithmetic hardware blocks used in advanced SoCs and IP.

View Original Listing

Required Skills

Formal Verification
Arithmetic Circuits
ALU Verification
FPU Verification
Property Writing
Assertion Writing
Testbench Development
Coverage Analysis
Root Cause Analysis
Counterexample Analysis

+14 more

Qualifications

BS in Computer Engineering
BS in Electrical Engineering
MS in Computer Engineering
MS in Electrical Engineering
PhD in Computer Engineering
PhD in Electrical Engineering

About Intel

intel.com

Intel Corporation is a global technology company that designs and manufactures advanced integrated digital technology products, including microprocessors, chipsets, and software solutions. With a focus on delivering Artificial Intelligence (AI) at scale, Intel provides comprehensive hardware and software solutions for cloud, data center, edge computing, and client devices. The company is known for its innovation in technologies that power a variety of computing platforms, from personal computers to enterprise solutions, enabling businesses and individuals to realize their full potential.

View more jobs at Intel →