Browse tech roles

Filter the feed by workplace, employment type, salary floor, and post age. For ranked matching against your resume, use AI Match.

Active Keyword: Formal verification Remove filter Clear all

1 of up to 20 (filtered)

Senior Formal Verification Engineer, GPU Kernels

Nvidia

Santa Clara, CA 42 days ago $184,000–$287,500
Actively hiring Above market
C C++ Rust Git Make CMake CUDA OpenCL SMT SymbolicExecution ModelChecking InteractiveTheoremProving LLMAgents NeurosymbolicApproaches CI/CD
Save