Senior Formal Verification Engineer

Velaura • 2 months ago
Apply now
Similar jobs
812,549open jobs
52,293companies
130,976added this week
Browse all
Salary
$200k – $300k per year
Location
In office (Santa Clara)
Seniority
Senior
Employment
Full-Time

Confirmed on the employer's own hiring board on Sep 25, 2026. First seen by Alion on Jul 25, 2026.

Overview
Company
Impact
Profile match

Velaura

Velaura AI, Inc., formerly Auradine, builds ultra-low-power compute solutions for data center, edge, and physical AI applications.
velaura.ai • HQ: Campbell, United States • 201-500 employees
Tech stack of Velaura

Role Overview

We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You will apply formal methods to the hardest correctness problems in the design, working with architects, RTL, and verification teams to prove correctness exhaustively and reach coverage that simulation cannot. We welcome engineers who enjoy reasoning rigorously about complex hardware, taming state-space explosion, and finding the corner-case bugs no one else can.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
812,549 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Hardware
Similar stack
Same company
Santa Clara
≈ $96k – $189k per year (Estimated) • Remote (United States) • 3+ years exp • Bachelor's Degree
Python
C#
C++
DevOps
RTOS
CI/CD
Git
GitLab
Apply
$158k – $214k per year • Equity • In office • Full-Time • 10+ years exp • Bachelor's Degree • Sunnyvale
Apply
$144k – $194k per year • Equity • In office • Full-Time • 3+ years exp • Bachelor's Degree • Redmond
Java
C#
C++
Perl
DevOps
RTOS
Apply
$136k – $184k per year • Equity • In office • Full-Time • 5+ years exp • Bachelor's Degree • Redmond
Python
Verilog
SystemVerilog
VHDL
Perl
DevOps
CI/CD
Chips/EDA
Xilinx Vivado
Apply
$159k – $215k per year • Equity • In office • Full-Time • 7+ years exp • Master's Degree • San Diego
Python
C++
MATLAB
Apply
$143k – $193k per year • Equity • In office • Full-Time • PhD • Boston
AI/ML
Reinforcement Learning
Computer Vision
Physical AI
Machine Learning
Robotics
Sensor Fusion
Motion Planning
Reinforcement Learning
Apply
$123k – $170k per year • Equity • In office • Full-Time • Bachelor's Degree • Sunnyvale
C++
MATLAB
Chips/EDA
UVM
Formal Verification
Apply
In office • 5+ years exp
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Cadence Virtuoso
Synopsys PrimeTime
Cadence Xcelium
Synopsys SpyGlass
UVM
Cadence JasperGold
Formal Verification
OneSpin
Management
Agile
Apply
≈ $164k – $285k per year (Estimated) • Remote (United States) • Full-Time • 5+ years exp • Bachelor's Degree • United States
Python
AI/ML
Fine-tuning
Embeddings
Scikit-learn
JAX
Computer Vision
NLP
PyTorch
Gemini
LLM
RAG
Time Series Forecasting
OpenAI
Anthropic
Hugging Face
Agentic Workflows
Physical AI
Machine Learning
DevOps
GCP
Azure
AWS
Apply
$150k – $200k per year • In office • Full-Time • 5+ years exp • Master's Degree • Los Angeles
Python
C++
AI/ML
Multimodal AI
Computer Vision
Image Segmentation
Physical AI
Robotics
Sensor Fusion
Apply
$150k – $250k per year • In office • Full-Time • Santa Clara
AI/ML
Physical AI
Apply
$200k – $300k per year • In office • Full-Time • Santa Clara
AI/ML
Physical AI
Apply
$200k – $300k per year • In office • Full-Time • Santa Clara
AI/ML
Physical AI
Apply
$200k – $300k per year • In office • Full-Time • Santa Clara
AI/ML
Embodied AI
Apply
RTL Power Engineer 1 month ago
$200k – $300k per year • In office • Full-Time • Santa Clara
AI/ML
Physical AI
Apply
$217k – $326k per year • In office • Santa Clara
Python
Apply
≈ $120k – $205k per year (Estimated) • Remote (United States) • Full-Time • 10+ years exp • Bachelor's Degree • Santa Clara
Management
Agile
Scrum
Apply
$165k per year • Equity • In office • Full-Time • Bachelor's Degree • Santa Clara
Python
C#
MATLAB
Apply
$136k per year • In office • Internship • PhD • Santa Clara
Python
C++
AI/ML
SciPy
NumPy
DevOps
AWS
Quantum
Qiskit
Cirq
Apply
$165k – $224k per year • Equity • In office • Full-Time • 3+ years exp • Bachelor's Degree • Santa Clara
Java
C#
C++
Perl
AI/ML
AI Agents
DevOps
AWS
Apply
See all jobs
This is one of many
812,549 more open roles from verified company boards, updated every day.
Browse all jobs Get matched roles