Inference Jobs logo

Inference Jobs

  1. Home
  2. Jobs
  3. TLA+

TLA+ Jobs

Explore TLA+ roles on Inference Jobs and apply today.

2mo agoTenstorrent logoTE

Formal Verification Lead

Tenstorrent

Santa Clara, California, United States (Hybrid)$100K – $500K Yearly
Formal Verification
Design Verification
Formal Verification
Formal Methods
2mo agoTenstorrent logoTE

Static Timing Analysis (STA) Methodology Engineer

Tenstorrent

Santa Clara, California, United States (Hybrid)$100K – $500K Yearly
Physical Design
ASIC Design
Static Timing Analysis (STA)
PrimeTime
3mo agoNVIDIA logoNV

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++
3mo agoNVIDIA logoNV

Senior Software Engineer – TensorRT Edge-LLM

NVIDIA

Santa Clara, California, United States (Hybrid)$152K – $287.5K Yearly
Software Engineering
AI Engineering
C++
CUDA
3mo agoNVIDIA logoNV

Senior Formal Verification Engineer

NVIDIA

United States or Remote (California, United States)$196K – $310.5K Yearly
Formal Verification
ASIC Verification
Formal Verification
ASIC Verification
1mo agoAnthropic logoAN

TPU Kernel Engineer

Anthropic

San Francisco, California, United States (Hybrid)$280K – $850K Yearly
Kernel Engineering
Machine Learning Engineering
TPU
ML Systems