Browse tech roles

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

3 of up to 20 (filtered)

Senior Formal Verification Engineer - LPU

Nvidia

Remote (Us, Ca, Remote, US) 11 days ago $136,000$218,500
Actively hiring Verified listing Competitive pay
SystemVerilog JasperGold VC Formal Python AI tools CI/CD SystemVerilog Assertions (SVA) GPU architecture LPU architecture Formal property verification Docker Git Linux
Remote

Senior Formal Verification Engineer - LPU

Nvidia

Remote (Us, Ca, Remote, US) 11 days ago $196,000$310,500
Actively hiring Verified listing Above market
SystemVerilog Tcl Python JasperGold VC Formal SystemVerilog Assertions (SVA) CI/CD GPU architecture LPU architecture Sequential Equivalence Checking Datapath Verification Formal Property Verification
Remote

Senior Formal Verification Engineer, GPU Kernels

Nvidia

Santa Clara, CA 44 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