Inference Jobs logo
Inference Jobs
  1. Home
  2. Jobs
  3. Interactive Theorem Proving

Interactive Theorem Proving Jobs

Browse 3 Interactive Theorem Proving jobs on Inference Jobs.

3 jobs
3d 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
3w agoHarmonic logoHA

Research Engineer, Technical Lead

Harmonic

Palo Alto, California, United States (On-site)$225K – $450K Yearly
Research Engineer
Technical Lead
Python
PyTorch
3w agoHarmonic logoHA

Research Engineer

Harmonic

Palo Alto, California, United States (On-site)$200K – $450K Yearly
Research Engineering
Machine Learning Engineering
Python
PyTorch
Subscribe to this search

Get email updates when new jobs match this search.