Inference Jobs logo

Inference Jobs

  1. Home
  2. Jobs
  3. Temporal Logic Assertions

Temporal Logic Assertions Jobs

Explore Temporal Logic Assertions roles on Inference Jobs and apply today.

5d agoSC

Software Engineer, Gen AI

Scale

San Francisco, California, United States (Hybrid)$180K – $225K Yearly
Software Engineering
Full Stack Engineering
TypeScript
MongoDB
3mo agoOP

Software Engineer, Core Services

OpenAI

San Francisco, California, United States (Hybrid)$255K – $405K Yearly
Software Engineering
Backend Engineering
Distributed Systems
Redis
2mo agoCA

Software Engineer, Databases

Cartesia

San Francisco, California, United States (On-site)$180K – $250K Yearly
Software Engineering
Database Engineering
AWS
GCP
2w agoNV

Logic Design Engineer, CPU Core

NVIDIA

Yokne'am, Northern District, Israel (On-site)
ASIC Design
Logic Design
Logic Design
Microarchitecture
4w agoTE

Formal Verification Lead

Tenstorrent

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

AI Engineer

Lovable

Stockholm, Stockholm, Sweden (On-site)
AI Engineer
Machine Learning Engineer
React
Golang
2w agoCO

Engineering Manager

CoreWeave

London, England, United Kingdom (Hybrid)
Engineering Manager
AI Platform Engineering
Python
AWS
1mo agoAN

Staff+ Software Engineer, Databases

Anthropic

San Francisco, California, United States (Hybrid)$320K – $485K Yearly
Software Engineering - Infrastructure
Database Engineering
PostgreSQL
MySQL
1mo agoD-

HW Design Verification Intern

d-Matrix

Santa Clara, California, United States (Hybrid)$30 – $60 Yearly
R&D - HW Verification
Hardware Engineering
UVM
SystemVerilog
2mo agoCE

Design Verification Engineer- Tile

Cerebras

United States (Remote)$120K – $240K Yearly
Design Verification
Hardware Engineering
SystemVerilog
UVM
3mo agoNV

Senior ASIC Timing Engineer

NVIDIA

Westford, Massachusetts, United States (On-site)$168K – $310.5K Yearly
ASIC Engineer
Timing Engineer
Static Timing Analysis (STA)
Physical Design