Inference Jobs logo

Inference Jobs

  1. Home
  2. Jobs
  3. Proof Checking

Proof Checking Jobs

Explore Proof Checking roles on Inference Jobs and apply today.

3mo agoNVIDIA logoNV

Formal Equivalence Checking Methodology Engineer

NVIDIA

Santa Clara, California, United States (Hybrid)$136K – $264.5K Yearly
VLSI
Hardware Engineering
Verilog
ASIC Design
2mo agoxAI logoXA

Tutor - Competition Math

xAI

Worldwide (Remote)$45 – $75 Hourly
AI Tutor
Math Tutor
Competition Math
LaTeX
3mo agoNVIDIA logoNV

Senior Formal Verification Engineer

NVIDIA

United States or Remote (California, United States)$196K – $310.5K Yearly
Formal Verification
ASIC Verification
Formal Verification
ASIC Verification
2mo agoTenstorrent logoTE

Formal Verification Lead

Tenstorrent

Santa Clara, California, United States (Hybrid)$100K – $500K Yearly
Formal Verification
Design Verification
Formal Verification
Formal Methods