Inference Jobs logo

Inference Jobs

  1. Home
  2. Jobs
  3. Model Checking

Model Checking Jobs

Browse 948 Model Checking jobs on Inference Jobs.

101-120 of 948 jobs

2wD-

Principal Design Verification Engineer

d-Matrix

Bengaluru, Karnataka, India (Hybrid)
ASIC Verification
Hardware Verification
1wNV

DFT Verification Engineer

NVIDIA

Yokneam Ilit, Northern District, Israel (On-site)
ASIC Verification
DFT Engineering
6dRU

Research Manager, Foundation Models

Runway

New York, New York, United States or Remote (North America + 1 more)$360k – $450k Yearly
AI Research
Computer Vision
4wCR

Mechanical Engineer

Crusoe

Arvada, Colorado, United States (On-site)$104k – $143k Yearly
Design Engineering (MFG)
Manufacturing (MFG)
1wCO

AI Data Trainer - Investment Analysis (Part-Time)

Cohere

Canada or Remote (Canada)$30 – $30 Hourly
Data Annotation
Data Quality (Contract)
4wSC

AI Product Manager, Insights

Scale

San Francisco, California, United States (On-site)$206.8k – $258.5k Yearly
AI Product Management
Data Science
1wD-

Design Verification Engineer, Staff

d-Matrix

Santa Clara, California, United States (Hybrid)$161.3k – $260k Yearly
ASIC Verification
Design Verification
6dXA

Member of Technical Staff - Reasoning Efficiency

xAI

Palo Alto, California, United States (On-site)$180k – $440k Yearly
Artificial Intelligence
Deep Learning
2wNV

Deep Learning Compiler Verification and Infra Development Intern - 2026

NVIDIA

Shanghai, Shanghai, China (On-site)
Compiler Engineering
Deep Learning
6dNV

Senior GPU Functional Modeling Architect

NVIDIA

Santa Clara, California, United States (On-site)$152k – $287.5k Yearly
Computer Architecture
Functional Modeling
2wAI

Software Engineer - Prediction and Behavior ML

Applied Intuition

Sunnyvale, California, United States (On-site)$125k – $222k Yearly
Autonomous Driving
Autonomy Software Engineering
17hNV

Senior Engineer - Deep Learning Compiler Verification and Infrastructure

NVIDIA

Santa Clara, California, United States (On-site)$140k – $224.3k Yearly
AI Engineering
Compiler Engineering
6dTE

Staff Engineer, SoC - DFD Design Verification

Tenstorrent

Boston, Massachusetts, United States (Hybrid)$100k – $500k Yearly
ASIC Design Verification
DFT Engineering
6dTE

Sr. Engineer, SoC Design Verification – AI/ML Accelerator Chiplets

Tenstorrent

Toronto, Ontario, Canada (Hybrid)
ASIC Verification
Design Verification
2wNV

Senior AI Application Developer - GPU and SOC Architecture Modeling

NVIDIA

Santa Clara, California, United States (On-site)$152k – $287.5k Yearly
AI Application Development
Computer Architecture
6dTE

Staff Design Verification Engineer, AI HW

Tenstorrent

Toronto, Ontario, Canada (Hybrid)$100k – $500k Yearly
ASIC Verification
Design Verification
2wAI

System Safety Engineer Autonomous Driving - Autonomy

Applied Intuition

Sunnyvale, California, United States (On-site)$118k – $250k Yearly
Automotive Safety
Autonomous Driving
5dTE

Sr. Engineer, Software - Simulation/Hardware Modeling

Tenstorrent

Austin, Texas, United States (Hybrid)$100k – $500k Yearly
AI Compiler
Computer Architecture
3wNV

Senior Research Scientist, Multi-Modal Language Models

NVIDIA

Santa Clara, California, United States (On-site)$192k – $356.5k Yearly
AI Research
Computer Vision Research
3wNV

Senior Formal Verification Engineer

NVIDIA

Myrtle Point, Oregon, United States or Remote (California, United States)$196k – $310.5k Yearly
ASIC Verification
Design Verification

Related searches

Hardware EngineeringASIC VerificationDesign VerificationSoC VerificationComputer ArchitectureMachine Learning EngineerSoftware EngineeringAI ResearchAutonomous DrivingCompiler Engineering