Inference Jobs logo

Inference Jobs

  1. Home
  2. Jobs
  3. Formal Verification

Formal Verification Jobs

Explore Formal Verification roles on Inference Jobs and apply today.

3mo agoNV

Implementation Methodology Engineer - GPU

NVIDIA

Santa Clara, California, United States (Hybrid)$136K – $264.5K Yearly
VLSI Engineering
Hardware Engineering
Synthesis
Formal Equivalence Checking
3mo agoNV

Senior Embedded System Software Engineer - Hypervisor and RTOS

NVIDIA

Santa Clara, California, United States (On-site)$184K – $356.5K Yearly
Embedded Systems
System Software Engineer
C
C++
1mo agoCE

Director of Engineering

Cerebras

Sunnyvale, California, United States (Hybrid)$310K – $330K Yearly
Engineering Management
Hardware Engineering
Python
Verilog
2mo agoTE

RISC-V CPU Microarchitecture / RTL

Tenstorrent

United States (Remote)$100K – $500K Yearly
CPU
Hardware Engineering
RISC-V
RTL Design
2mo agoNV

Senior Hypervisor and RTOS Engineer - Performance

NVIDIA

Santa Clara, California, US$184K – $356.5K Yearly
Embedded Software
Systems Programming
Hypervisor
RTOS
3w agoET

Physical Design Engineer

Etched

Cupertino, California, United States (On-site)
Hardware
Physical Design
Physical Design
ASIC
1mo agoNV

Senior Implementation Methodology Engineer

NVIDIA

Santa Clara, California, United States (On-site)$168K – $310.5K Yearly
Physical Design
VLSI
Logic Design
Physical Design
2w agoNV

Senior Chip Design Engineer, Port IP Group

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-site)
ASIC Design
Hardware Engineering
RTL Verification
Specman
2mo agoNV

Senior ASIC Methodology Engineer - LPU Division

NVIDIA

United States (Remote)$152K – $287.5K Yearly
ASIC Engineering
Hardware Engineering
ASIC
RTL
2mo agoNV

Manager, Software Verification

NVIDIA

California, United States (Hybrid)$224K – $431.3K Yearly
Software QA
Software Testing
Networking
Ethernet