Inference Jobs logo

Inference Jobs

  1. Home
  2. Jobs
  3. SMT Solving

SMT Solving Jobs

Explore SMT Solving roles on Inference Jobs and apply today.

2d agoNVIDIA logoNV

Senior Formal Verification Engineer, GPU Kernels

NVIDIA

Santa Clara, California, United States (On-site)$184K – $287.5K Yearly
Formal Verification Engineer
GPU Kernel Verification
C/C++
Rust
2mo agoNVIDIA logoNV

Senior Hardware Customer Quality Engineer

NVIDIA

Santa Clara, California, United States (On-site)$168K – $322K Yearly
Quality Engineering
Hardware Engineering
8D Problem Solving
Customer Quality