Updated Aug 31, 2026

Formal Verification Jobs - Remote & On-site

Formal Verification jobs hiring now at vetted startups and product companies on Alion, updated daily. Average salary around $261,918/year. Compare remote, hybrid and on-site positions with relocation and visa sponsorship. Browse and apply today.

Open positions
179
Companies
37
Salary range
$150K – $377K
Average salary
$261K
AI/ML
Data Science
Backend
Frontend
Mobile
DevOps
Web3
Games
Hardware
Robotics
Security
QA
Executive
Networking
Product
Design
Analytics
Support
Enterprise Apps
Quantum
The U.S. Securities and Exchange Commission (SEC) is an independent federal agency tasked with protecting investors and maintaining fair, orderly, and efficient financial markets. Established in the wake of the 1929 stock market crash, its primary mandate is to enforce federal securities laws, facilitate capital formation, and ensure that companies provide accurate information to the public. The commission oversees key market participants, including stock exchanges, brokers, and investment advisors, to promote transparency and prevent fraud within the financial system.
sec.gov • HQ: Washington, United States • Financial Services • Digital Government • Government • 1001-5000 employees
HQ: Washington, United States • Financial Services • Digital Government • Government • 1001-5000 employees
Top 25% payVerified live · 1 hour ago 7 hours ago

Senior GPU Design Verification Engineer (GCDV)

$124k – $208k per year • Senior • 2+ years expIn office (Austin, San Jose, United States) • Relocation • Bachelor's Degree • Full-Time • Senior
C++
Python
SystemVerilog
Chips/EDA
Formal Verification
Apply
Top 25% payVerified live · 1 hour ago 12 days ago

Staff GPU Design Verification Engineer – Formal Verification

$151k – $227k per year • Staff+ • 6+ years expIn office (Austin, United States) • Relocation • Bachelor's Degree • Full-Time • Staff
C++
Perl
Python
SystemVerilog
AI/ML
Ray
Chips/EDA
Formal Verification
UVM
Management
Confluence
Apply
Top 25% payVerified live · 1 hour ago 1 month ago

Design Verification Engineer, Coherent Interconnect

$151k – $252k per year • Staff+ • 10+ years expIn office (Austin, San Jose, United States) • Relocation • Bachelor's Degree • Full-Time • Staff
SystemVerilog
Perl
Verilog
DevOps
Git
Chips/EDA
Formal Verification
UVM
Apply
Report

Synopsys

synopsys.com
Synopsys (NASDAQ: SNPS) is a premier American multinational technology corporation and the global leader in Electronic Design Automation (EDA), semiconductor intellectual property (IP), and software security and quality solutions. Headquartered in Sunnyvale, California, and led by CEO Sassine Ghazi, Synopsys operates on a B2B enterprise software, proprietary semiconductor IP licensing, and silicon engineering services model.
synopsys.com • HQ: Sunnyvale, United States • Design & Creative • Hardware • Artificial Intelligence • 501-1000 employees
HQ: Sunnyvale, United States • Design & Creative • Hardware • Artificial Intelligence • 501-1000 employees
Verified live · 3 hours ago 1 day ago

Synopsys

Middle • 3+ years expIn office • Middle
SystemVerilog
Verilog
VHDL
Chips/EDA
Formal Verification
Synopsys SpyGlass
Synopsys VC Formal
Synopsys Verdi
Apply
Top 25% payVerified live · 3 hours ago 7 days ago

Synopsys

$157k – $235k per year • Staff+ • 10+ years expIn office • Staff
Perl
Python
Chips/EDA
Ansys RedHawk
Cadence Conformal
Cadence Quantus
Formal Verification
Synopsys Design Compiler
Synopsys Fusion Compiler
Synopsys PrimeTime
Apply
Verified live · 3 hours ago 9 hours ago

Synopsys

Senior • 8+ years expIn office • Staff • English: B2 (Optional)
Perl
Verilog
VHDL
AI/ML
AI Agents
Cursor
DevOps
HPC
Chips/EDA
Formal Verification
Synopsys TestMAX
Apply
Report

Semiconductor Engineering

semiengineering.com
Semiconductor Engineering is a technical media and research organization based in San Jose, California, and founded in 2013. The company provides in-depth news, analysis, and technical papers focused on the design, manufacturing, testing, and integration of advanced semiconductor technologies. It operates as a global information hub for chip engineers and industry professionals, offering newsletters, webinars, and specialized research reports.
semiengineering.com • HQ: San Jose, United States • Semiconductor Manufacturing • Manufacturing • Science & Engineering • Publishing • Media & Entertainment • Electrical & Electronic Engineering • Semiconductors • Hardware • 1001-5000 employees • Est. 2013
HQ: San Jose, United States • Semiconductor Manufacturing • Manufacturing • Science & Engineering • Publishing • Media & Entertainment • Electrical & Electronic Engineering • Semiconductors • Hardware • 1001-5000 employees • Est. 2013
Verified live · 2 hours ago 4 days ago

Principal Design Engineer

$78k – $208k per year (Estimated) • Lead • 10+ years expIn office (Cork, Ireland) • Bachelor's Degree • Full-Time • Principal
SystemVerilog
Verilog
Chips/EDA
Formal Verification
Apply
Verified live · 2 hours ago 4 days ago

Lead Digital Verification Engineer

$65k – $120k per year • Equity • Lead • In office (Montreal, Canada) • High School Diploma • Full-Time • Staff
SystemVerilog
Verilog
Perl
Python
Ruby
Chips/EDA
Formal Verification
UVM
Apply
Verified live · 2 hours ago 13 days ago

Design Engineer II

$53k – $99k per year • Equity • Middle • In office (Montreal, Canada) • High School Diploma • Full-Time • Middle
SystemVerilog
Verilog
Perl
Python
Ruby
Chips/EDA
Formal Verification
UVM
Apply
Report

Intel Corporation

intel.com
Intel is an American semiconductor company founded in 1968 by Robert Noyce and Gordon Moore and headquartered in Santa Clara, California. It created the x86 instruction set that still underpins most personal computers and servers, and designs and manufactures processors, chipsets, discrete graphics, networking silicon and AI accelerators. Unlike most of its competitors the company owns its fabrication plants, and it is investing heavily in Intel Foundry to manufacture chips for external customers while rebuilding its process technology leadership.
intel.com • HQ: Santa Clara, United States • Cloud Computing • Semiconductor Manufacturing • Data & Analytics • Artificial Intelligence • Hardware • Computer Components • Semiconductors • 5000+ employees • Est. 1968
HQ: Santa Clara, United States • Cloud Computing • Semiconductor Manufacturing • Data & Analytics • Artificial Intelligence • Hardware • Computer Components • Semiconductors • 5000+ employees • Est. 1968
Verified live · 14 min ago 4 days ago

IP Design Verification Engineer

$30k – $72k per year (Estimated) • Senior • 6+ years expRemote/Hybrid (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior
Perl
Python
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 14 min ago 6 days ago

Formal Verification Engineer

$30k – $72k per year (Estimated) • Senior • 5+ years expIn office (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Verilog
Chips/EDA
Formal Verification
Apply
Verified live · 14 min ago 11 days ago

CPU Physical Design Engineer

$42k – $87k per year (Estimated) • Staff+ • 10+ years expIn office (Bengaluru, India) • Full-Time • Staff
Perl
Python
Verilog
VHDL
Chips/EDA
Formal Verification
Apply
Report

SemiWiki

semiwiki.com
SemiWiki is an open community-driven semiconductor web portal and knowledge-sharing platform dedicated to the global electronic design automation (EDA) and semiconductor manufacturing industries. Founded in 2010 by industry veterans Daniel Nenni, Paul McLellan, and David Manners, SemiWiki provides analysis, expert blogging, and commentary on advanced node semiconductor technology, chip design methodologies, foundry economics, and supply chain dynamics.
semiwiki.com • HQ: Danville, United States • Cybersecurity • Manufacturing • Hardware • 1001-5000 employees • Est. 2010
HQ: Danville, United States • Cybersecurity • Manufacturing • Hardware • 1001-5000 employees • Est. 2010
8+ years expIn office (Bengaluru, India) • Full-Time • Staff
Chisel
SystemVerilog
Verilog
VHDL
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
2 months ago

Staff Engineer

7+ years expIn office (Ahmedabad, India) • Bachelor's Degree • Full-Time • Staff
SystemVerilog
Python
Chips/EDA
UVM
Formal Verification
Apply
$176k – $312k per year (Estimated) • Staff+ • 7+ years expIn office (Austin, United States) • Bachelor's Degree • Full-Time • Staff
SystemVerilog
Python
Chips/EDA
UVM
Formal Verification
Apply
Report

Lightmatter

lightmatter.co
Lightmatter is a photonic computing and interconnect company headquartered in Mountain View, California, and founded in 2017. The company develops photonic chips, light engines, and interconnect platforms designed to scale AI supercomputers by replacing traditional electrical I/O with optical technology. It operates as a venture-backed firm collaborating with major semiconductor manufacturers and standards bodies to provide high-bandwidth, energy-efficient infrastructure for large-scale AI training and inference.
lightmatter.co • HQ: Mountain View, United States • Machine Learning • Artificial Intelligence • Data Centers • Information Technology • Semiconductors • AI Infrastructure • Lasers & Photonics • Hardware • Est. 2017
HQ: Mountain View, United States • Machine Learning • Artificial Intelligence • Data Centers • Information Technology • Semiconductors • AI Infrastructure • Lasers & Photonics • Hardware • Est. 2017
Open 264 daysTop 25% pay 8 months ago

Staff/Sr. Staff Design Verification

$196k – $223k per year • Equity • Staff+ • 8+ years expRemote/Hybrid (Mountain View, United States) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
DevOps
HPC
Chips/EDA
Cadence Xcelium
Formal Verification
Siemens ModelSim
UVM
Apply
Open 299 daysVerified live · 1 hour ago 9 months ago

Staff/Sr. Staff Design Verification Engineer

$90k – $187k per year (Estimated) • Equity • Staff+ • 8+ years expRemote/Hybrid (Toronto, Canada) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
DevOps
HPC
Chips/EDA
Cadence Xcelium
Formal Verification
Siemens ModelSim
UVM
Apply
Open 264 daysVerified live · 1 hour ago 8 months ago

Staff/Sr. Staff Design Verification

$186k – $218k per year • Equity • Staff+ • 8+ years expRemote/Hybrid (Boston, United States) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
DevOps
HPC
Chips/EDA
Cadence Xcelium
Formal Verification
Siemens ModelSim
UVM
Apply
Report

Renesas Electronics

renesas.com
Renesas Electronics is a major Japanese semiconductor manufacturer specializing in microcontrollers, system-on-chips (SoCs), power management devices, and analog technologies. Headquartered in Tokyo, the company was established through the consolidation of the semiconductor divisions of Hitachi, Mitsubishi Electric, and NEC. It serves as a key supplier for the automotive, industrial, infrastructure, and Internet of Things (IoT) sectors globally.
renesas.com • HQ: Tokyo, Japan • Manufacturing • Hardware • Semiconductor Manufacturing • Semiconductors • 5000+ employees • Est. 1978
HQ: Tokyo, Japan • Manufacturing • Hardware • Semiconductor Manufacturing • Semiconductors • 5000+ employees • Est. 1978
Verified live · 1 hour ago 1 month ago

Principal Digital Design Engineer

$113k – $246k per year (Estimated) • Lead • 12+ years expIn office (Duluth, United States) • Master's Degree • Full-Time • Senior
Verilog
DevOps
HPC
Chips/EDA
Formal Verification
Apply
Verified live · 1 hour ago 7 days ago

Senior Digital Verification Engineer 

Senior • In office (Athens, Greece) • Full-Time • Senior
SystemVerilog
Verilog
VHDL
Chips/EDA
Cadence vManager
Cadence Xcelium
Formal Verification
UVM
Apply
Verified live · 1 hour ago 7 days ago

Sr Staff Engineer, STA

$38k – $78k per year (Estimated) • Staff+ • 10+ years expIn office (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior
Perl
Python
SystemVerilog
Chips/EDA
Formal Verification
Synopsys Fusion Compiler
Synopsys PrimeTime
Apply
Report

Tenstorrent

tenstorrent.com
Tenstorrent is a Canadian semiconductor company founded in 2016 and led by veteran chip architect Jim Keller. It designs artificial intelligence accelerators and RISC-V processors, and sells intellectual property licences as well as hardware, with an open-source software stack. Investors and licensees include major automotive and technology groups seeking an alternative to closed accelerator ecosystems.
tenstorrent.com • HQ: Toronto, Canada • Embedded Systems • Hardware • Machine Learning • Est. 2016
HQ: Toronto, Canada • Embedded Systems • Hardware • Machine Learning • Est. 2016
Open 1040 daysTop 25% pay 3 years ago

Staff Design Verification Engineer, AI HW

$100k – $500k per year • Staff+ • In office (Austin, United States) • Full-Time • Staff
Bash
Python
SystemVerilog
AI/ML
Edge AI
DevOps
CI/CD
Vector
Chips/EDA
Formal Verification
Apply
Open 181 dayVerified live · 6 min ago 5 months ago

Design Verification Engineer, Automotive Robotics

$92k – $189k per year (Estimated) • Staff+ • 10+ years expIn office (Munich, Germany) • Full-Time • Staff
SystemVerilog
AI/ML
Edge AI
Chips/EDA
Formal Verification
UVM
Apply
Open 94 daysTop 25% pay 3 months ago

CPU Verification Fellow, RISC-V High-Performance Processor

$100k – $500k per year • Lead • In office (Austin, United States) • Full-Time • Principal
SystemVerilog
AI/ML
Edge AI
Chips/EDA
Formal Verification
UVM
Apply
Report

SanDisk

sandisk.com
SanDisk is a globally recognized brand specializing in flash memory storage products, including memory cards, USB flash drives, and solid-state drives (SSDs). Originally founded in 1988 as a pioneer in digital storage technology, it became a subsidiary of Western Digital following its acquisition in 2016. The company serves consumers, creative professionals, and enterprise clients with reliable hardware designed to store, manage, and transfer data across a wide range of devices.
sandisk.com • HQ: Milpitas, United States • Hardware • Consumer Electronics • Storage • Digital Storage • 501-1000 employees • Est. 1988
HQ: Milpitas, United States • Hardware • Consumer Electronics • Storage • Digital Storage • 501-1000 employees • Est. 1988
$41k – $83k per year (Estimated) • Staff+ • 8+ years expIn office (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Verilog
Frontend
Lighthouse
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys Verdi
UVM
Apply
Verified live · 2 hours ago 6 days ago

Staff VLSI Design Engineering

$41k – $83k per year (Estimated) • Staff+ • 7+ years expIn office (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Verilog
Frontend
Lighthouse
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys Verdi
UVM
Apply
Verified live · 2 hours ago 1 month ago

Verification CAD Engineer

$108k – $215k per year (Estimated) • Equity • Senior • 7+ years expRemote/Hybrid (Milpitas, United States) • Bachelor's Degree • Full-Time • Senior
Perl
Python
SystemVerilog
Frontend
Lighthouse
DevOps
Shift-Left
SLURM
Cybersecurity
Shift-Left Security
Chips/EDA
Formal Verification
UVM
Cadence vManager
Cadence Xcelium
Apply
Report

NVIDIA

nvidia.com
NVIDIA is an American technology company founded in 1993 that invented the graphics processing unit and has become the dominant supplier of accelerated computing platforms for artificial intelligence. Its portfolio spans data centre GPUs and systems built on the Hopper and Blackwell architectures, GeForce consumer graphics, automotive and robotics platforms, high-speed networking acquired with Mellanox, and the CUDA software stack that binds the ecosystem together. Headquartered in Santa Clara, California, the company sells to cloud providers, enterprises, research institutions and gamers worldwide and is one of the most valuable listed businesses on the Nasdaq.
nvidia.com • HQ: Santa Clara, United States • AI Infrastructure • Semiconductors • AI Agents • Big Data • LLM & Generative AI • Machine Learning • Hardware • Data & Analytics • Information Technology • Artificial Intelligence • 5000+ employees • Est. 1993
HQ: Santa Clara, United States • AI Infrastructure • Semiconductors • AI Agents • Big Data • LLM & Generative AI • Machine Learning • Hardware • Data & Analytics • Information Technology • Artificial Intelligence • 5000+ employees • Est. 1993
$34k – $82k per year (Estimated) • Senior • 5+ years expIn office (Bengaluru, India) • Full-Time • Senior
Perl
Python
Chips/EDA
Formal Verification
Apply
Top 25% pay 12 days ago

Senior ASIC Verification Engineer

$136k – $219k per year • Senior • 5+ years expIn office (Santa Clara, Austin, United States) • PhD • Full-Time • Senior
C++
Perl
Python
SystemVerilog
Verilog
Chips/EDA
Formal Verification
UVM
Apply
$24k – $54k per year (Estimated) • Junior • 1+ year expIn office (Hyderabad, India) • Full-Time • Junior
Perl
Python
SystemVerilog
Verilog
Chips/EDA
Formal Verification
UVM
Apply
Report

Onsemi

onsemi.com
Headquartered in Scottsdale, Arizona, Onsemi is a global semiconductor manufacturer specializing in intelligent power and intelligent sensing technologies. The company designs and produces silicon carbide power modules, image sensors, MOSFETs, and mixed-signal integrated circuits engineered for high-efficiency applications. Additionally, it primarily serves the automotive and industrial markets, providing critical hardware for electric vehicle powertrains, advanced driver-assistance systems (ADAS), and renewable energy infrastructure.
onsemi.com • HQ: Scottsdale, United States • Information Technology • Artificial Intelligence • Internet of Things • Hardware • 1001-5000 employees • Est. 1999
HQ: Scottsdale, United States • Information Technology • Artificial Intelligence • Internet of Things • Hardware • 1001-5000 employees • Est. 1999
Verified live · 10 hours ago 11 days ago

Junior Engineer for Korea ISG

Junior • In office (Seoul, South Korea) • Bachelor's Degree • Junior • English: B2 (Optional)
C++
Python
Verilog
Chips/EDA
Formal Verification
Apply
Verified live · 10 hours ago 12 days ago

Staff Verification Engineer

$40k – $82k per year (Estimated) • Staff+ • 7+ years expIn office (Bengaluru, India) • Bachelor's Degree • Staff
Perl
Python
SystemVerilog
Verilog
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 10 hours ago 1 month ago

Principal Design Verification Engineer

$30k – $81k per year (Estimated) • Lead • 13+ years expIn office (Bengaluru, India) • Bachelor's Degree • Principal • English
SystemVerilog
Python
Chips/EDA
Formal Verification
UVM
Apply
Report

Micron Technology

micron.com
Micron Technology is an American semiconductor company founded in Boise, Idaho in 1978 and one of only a handful of manufacturers of both DRAM and NAND flash memory. It designs and fabricates memory and storage products used in data centres, personal computers, smartphones, cars and industrial equipment, and sells them under the Micron and consumer-facing Crucial brands. High-bandwidth memory for AI accelerators has become the fastest-growing part of the business, and the company operates fabrication and assembly sites across the United States and Asia.
micron.com • HQ: Boise, United States • Data Centers • Semiconductor Manufacturing • Consumer Electronics • Hardware • Storage • Digital Storage • Semiconductors • 5000+ employees • Est. 1978
HQ: Boise, United States • Data Centers • Semiconductor Manufacturing • Consumer Electronics • Hardware • Storage • Digital Storage • Semiconductors • 5000+ employees • Est. 1978
Verified live · 25 min ago 11 days ago

MTS-RTL Verification Engineer

In office (Bengaluru, India) • Full-Time
Perl
Python
SystemVerilog
Chips/EDA
Formal Verification
UVM
Apply
Verified live · 25 min ago 20 days ago

Senior Digital Design Engineer, HBM

$109k – $216k per year (Estimated) • Senior • In office (Richardson, United States) • Full-Time • Senior
SystemVerilog
Verilog
Chips/EDA
Formal Verification
Apply
Verified live · 25 min ago 1 month ago

Member Of Technical Staff TLP - HBM Verification

$36k – $75k per year (Estimated) • Staff+ • 12+ years expIn office (Hyderabad, India) • Full-Time • Staff
SystemVerilog
Python
TCL Scripting
AI/ML
Claude
Copilot
Chips/EDA
Formal Verification
UVM
Apply
Report

Blueorigin

blueorigin.com
Blue Origin is an American aerospace manufacturer, defense contractor, and spaceflight services company founded in 2000 by Jeff Bezos. Headquartered in Kent, Washington, the company designs and operates reusable rockets, heavy-lift engines, and deep-space logistics infrastructure to enable sustainable space exploration and commercial operations.
blueorigin.com • Los Angeles • Washington • Seattle • Huntsville • Arlington • Space Services • Space & Aerospace • Launch Services • 1001-5000 employees
Los Angeles • Washington • Seattle • Huntsville • Arlington • Space Services • Space & Aerospace • Launch Services • 1001-5000 employees
Top 25% payVerified live · 1 day ago 12 days ago

ASIC Engineer - Early Career

$129k – $181k per year • Equity • Junior • In office (Seattle, United States) • Bachelor's Degree • Full-Time • Junior
Perl
Python
SystemVerilog
Verilog
DevOps
GitHub
Chips/EDA
Cadence Xcelium
Formal Verification
UVM
Apply
Top 25% payVerified live · 1 day ago 14 days ago

Senior ASIC Design Engineer - Terawave

$230k – $323k per year • Equity • Senior • 8+ years expIn office (Seattle, San Diego, United States) • Bachelor's Degree • Full-Time • Senior
Verilog
Chips/EDA
Formal Verification
Apply
Top 25% payVerified live · 1 day ago 27 days ago

Senior ASIC Design Verification Engineer - Terawave

$230k – $323k per year • Equity • Senior • 8+ years expLos AngelesSeattle • Remote (United States) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Verilog
Chips/EDA
UVM
Formal Verification
Apply
Report

Fractile

fractile.ai
Fractile is a London semiconductor company founded in 2022 that designs chips for large language model inference. Its in-memory computing architecture aims to remove the memory bottleneck that limits how fast transformer models can run. The company is backed by prominent artificial intelligence investors including a NVIDIA venture arm.
fractile.ai • HQ: London, United Kingdom • AI Infrastructure • Artificial Intelligence • Hardware • 501-1000 employees • Est. 2022
HQ: London, United Kingdom • AI Infrastructure • Artificial Intelligence • Hardware • 501-1000 employees • Est. 2022
Open 240 daysVerified live · 1 day ago 7 months ago

Senior/Principal Physical Design Engineer

$76k – $203k per year (Estimated) • Lead • 8+ years expIn office (London, United Kingdom) • Master's Degree • Internship • Principal
Perl
Python
DevOps
HPC
Chips/EDA
Cadence Innovus
Siemens Calibre
Synopsys Fusion Compiler
Formal Verification
Apply
Open 564 daysVerified live · 1 day ago 1 year ago

Senior/Principal Physical Design Engineer

$75k – $202k per year (Estimated) • Lead • 8+ years expIn office • Master's Degree • Internship • Principal
Perl
Python
DevOps
HPC
Chips/EDA
Cadence Innovus
Siemens Calibre
Synopsys Fusion Compiler
Formal Verification
Apply
Open 100 daysVerified live · 1 day ago 3 months ago

Senior Verification Engineer

$67k – $164k per year (Estimated) • Senior • 6+ years expIn office • Internship • Senior
C++
Python
SystemVerilog
SystemC
Verilog
DevOps
Bazel
Chips/EDA
UVM
Cocotb
Formal Verification
Icarus Verilog
Verilator
Apply
Report

SambaNova Systems

sambanova.ai
SambaNova Systems is an American artificial intelligence semiconductor and cloud platform company headquartered in Palo Alto, California. Founded in 2017 by Stanford professors Kunle Olukotun and Christopher Ré alongside former Oracle executive Rodrigo Liang, the company builds full-stack hardware and software infrastructure purpose-built for enterprise AI, large-scale model training, and high-speed agentic AI inference.
sambanova.ai • HQ: Palo Alto, United States • Artificial Intelligence • Semiconductors • AI Infrastructure
HQ: Palo Alto, United States • Artificial Intelligence • Semiconductors • AI Infrastructure
Verified live · 3 hours ago 14 days ago

Principal Design Verification Engineer

$128k – $278k per year (Estimated) • Lead • 10+ years expIn office (San Jose, United States) • PhD • Full-Time • Principal
C++
Python
SystemVerilog
AI/ML
Claude
Chips/EDA
UVM
Formal Verification
Apply
Report
Axis Communications is a Swedish technology company, founded in 1984, that serves as a global industry leader in network video surveillance and physical security solutions. The firm develops intelligent, IP-based products - including network cameras, access control systems, intercoms, and audio devices - that are used worldwide to enhance safety and operational efficiency. Operating as a subsidiary of Canon Inc., it maintains a business model built entirely on an extensive network of partners, system integrators, and resellers rather than direct sales.
axis.com • Dubai • Toronto • Lund • Fort Lauderdale • Tokyo • Information Technology • Data & Analytics • Consumer Goods • Cybersecurity • Network Security • Security Products • Hardware • 201-500 employees • Est. 1984
Dubai • Toronto • Lund • Fort Lauderdale • Tokyo • Information Technology • Data & Analytics • Consumer Goods • Cybersecurity • Network Security • Security Products • Hardware • 201-500 employees • Est. 1984
Verified live · 1 hour ago 15 days ago

ASIC Verification Engineer to our R&D site in Stockholm

In office (Stockholm, Sweden) • Bachelor's Degree • Full-Time
C++
Python
SystemC
SystemVerilog
Verilog
Chips/EDA
UVM
Formal Verification
Apply
Report

Altera

altera.com
Altera is a American semiconductor company that specializes in manufacturing programmable logic devices, primary field-programmable gate arrays (FPGAs), System-on-a-Chip (SoC) FPGAs, and related design software. Originally founded in 1983, the company pioneered reconfigurable hardware before being acquired by Intel in 2015 and later re-established as an independent, standalone enterprise. Its high-performance hardware and intellectual property cores are widely used across data centers, telecommunications, automotive systems, defense, and edge AI applications.
altera.com • HQ: San Jose, United States • Electronic Components • Hardware • Semiconductors • 1001-5000 employees
HQ: San Jose, United States • Electronic Components • Hardware • Semiconductors • 1001-5000 employees
Verified live · 1 day ago 21 day ago

FPGA Silicon Design Verification Engineer

Middle • 3+ years expIn office (Malaysia) • Bachelor's Degree • Full-Time • Middle
Perl
Python
SystemVerilog
DevOps
Git
CI/CD
Chips/EDA
Cadence Xcelium
Siemens QuestaSim
Synopsys VCS
UVM
Formal Verification
Apply
Verified live · 1 day ago 1 month ago

Design Verification Engineer

$21k – $47k per year (Estimated) • Junior • 2+ years expIn office (India) • Bachelor's Degree • Full-Time • Junior
Perl
Python
SystemVerilog
Verilog
VHDL
Chips/EDA
Formal Verification
UVM
Apply
Top 25% payVerified live · 1 day ago 1 month ago

Physical Design Technical Lead

$210k – $299k per year • Lead • 15+ years expIn office (San Jose, United States) • Master's Degree • Full-Time • Staff
Perl
Python
AI/ML
Reinforcement Learning
Chips/EDA
Ansys RedHawk
Cadence Innovus
Cadence Voltus
Siemens Calibre
Synopsys Fusion Compiler
Synopsys PrimeTime
Formal Verification
Apply
Report

River AI

river.ai
River AI is an artificial intelligence company headquartered in Palo Alto, California, and founded in 2026 by xAI co-founder Igor Babuschkin. The company is building what it calls an open AI stack, spanning personal AI models, tooling for developers to train and serve their own models, and a custom system on chip with an onboard machine learning accelerator. It raised 1.1 billion dollars led by General Catalyst with strategic investment from NVIDIA and AMD Ventures.
river.ai • HQ: Palo Alto, United States • Machine Learning • Semiconductors • AI Infrastructure • Hardware • LLM & Generative AI • Artificial Intelligence • 201-500 employees • Est. 2026
HQ: Palo Alto, United States • Machine Learning • Semiconductors • AI Infrastructure • Hardware • LLM & Generative AI • Artificial Intelligence • 201-500 employees • Est. 2026
$200k – $420k per year • Staff+ • 5+ years expIn office (Palo Alto, United States) • Relocation • Visa sponsorship • Bachelor's Degree • Staff
Perl
Python
SystemVerilog
AI/ML
Pre-training
DevOps
CI/CD
Chips/EDA
Cadence Palladium
Cadence Protium
Formal Verification
Synopsys HAPS
Synopsys ZeBu
UVM
Synopsys VC Formal
Apply
Report

Tower Research Capital

tower-research.com
Tower Research Capital is a quantitative trading firm operating automated strategies globally. It builds its own trading infrastructure, exchange connectivity and research systems. The firm supports multiple independent trading teams under one platform.
tower-research.com • HQ: New York, United States • Artificial Intelligence • Financial AI • Est. 1998
HQ: New York, United States • Artificial Intelligence • Financial AI • Est. 1998
Verified live · 6 hours ago 26 days ago

Hardware Engineer III

$22k – $52k per year (Estimated) • Middle • 3+ years expRemote/Hybrid (Gurgaon, India) • Bachelor's Degree • Part-Time • Middle
C++
Python
SystemVerilog
Verilog
VHDL
Chips/EDA
Cocotb
Formal Verification
UVM
Apply
Report

Positron AI

positron.ai
Positron AI builds purpose-built inference servers for large language models, aiming for much higher energy efficiency than general-purpose GPU systems. Its Atlas hardware uses field-programmable logic and a memory-centric design to serve transformer models at high token throughput. The company was founded in 2023 and assembles its systems in the United States.
positron.ai • HQ: Reno, United States • Hardware • Artificial Intelligence • LLM & Generative AI • Est. 2023
HQ: Reno, United States • Hardware • Artificial Intelligence • LLM & Generative AI • Est. 2023
Top 25% payVerified live · 1 day ago 26 days ago

Director of Silicon Validation

$200k – $350k per year • Executive • 12+ years expIn office (Austin, United States) • Visa sponsorship • Full-Time • Architect
SystemVerilog
DevOps
CI/CD
HPC
Chips/EDA
Cadence Palladium
Siemens Veloce
Synopsys ZeBu
UVM
Formal Verification
Apply
Open 128 daysTop 25% pay 4 months ago

ASIC Design Verification Engineer

$200k – $350k per year • Senior • 8+ years exp • Remote (United States) • Visa sponsorship • Bachelor's Degree • Full-Time • Staff
Perl
Python
SystemVerilog
Chips/EDA
Formal Verification
UVM
Apply
Report

Salary range

Seniority Jobs 25% Median 75%
Senior 16 $208K $220K $302K
Staff 15 $227K $275K $297K
Lead 10 $120K $254K $299K
All levels 50 $213K $252K $299K

Based only on the listings that state pay. Gross annual amounts, converted to USD so roles in different currencies stay comparable.

Hybrid 14%
25
On site 83%
148
Relocation package 9%
16
Equity 17%
31

The market right now

Alion currently lists 179 open Formal Verification jobs from 37 companies. 20 of them were posted or refreshed in the last seven days. 33 of the employers have posted something in the last three months, which is the pool worth watching if you are starting a search now. Every listing links straight to the employer, so you apply on their own board rather than through an intermediary.

What these roles pay

50 of these Formal Verification jobs state pay directly. Across them the middle half of the market sits between $213K and $299K a year, with a median of $252K. By level, the median runs senior at $220K, staff at $275K, and lead at $254K. The step from senior to lead is worth about 1.2x on median pay. Figures are gross annual amounts converted to US dollars, so roles in different currencies stay comparable.

Where the work is

The largest concentrations of these roles are United States (6), India (4), Canada (4), Israel (4), and Malaysia (3). 14% offer a hybrid arrangement, while the rest expect you on site.

Who is hiring

The employers with the most open Formal Verification jobs right now are Semiconductor Engineering (18), SemiWiki (18), Renesas Electronics (18), Intel Corporation (14), Altera (12), and Securities and Exchange Commission (8). Each company page on Alion carries its size, funding stage, tech stack and every other position it has open, so you can judge the employer before you spend an evening on the application.

What employers ask for

Reading across the current listings, the tools that come up most often are Formal Verification (179), SystemVerilog (149), Python (134), UVM (113), Verilog (97), Perl (84), C++ (41), and VHDL (25). The counts are how many of these openings name each one, which is a better guide to what is actually being hired for than a generic skills list.

Relocation, visas and equity

Of the current Formal Verification jobs, 4 state visa sponsorship, 16 offer a relocation package, and 31 include equity. These are filters on the list above, so you can narrow it to the ones that make a move possible for you.

Formal Verification Jobs - Remote & On-site
Frequently asked questions
How many Formal Verification jobs are open right now?
There are 179 open Formal Verification jobs on Alion from 37 companies. The list was last refreshed on August 31, 2026.
What do Formal Verification jobs pay?
The median is $252K a year, and the middle half of the market falls between $213K and $299K. This is based on the 50 listings that state pay.
Are any of these roles remote?
6 of the 179 listings (3%) are fully remote, and you can filter the list down to them in one click.
Which companies are hiring?
The most active employers right now are Semiconductor Engineering, SemiWiki, Renesas Electronics, Intel Corporation, Altera, and Securities and Exchange Commission. Each has its own page on Alion with the rest of its open roles.
Can I get visa sponsorship or relocation?
Yes - of the current listings, 4 state visa sponsorship and 16 offer a relocation package. Both are filters on the jobs page.
How do I apply?
Open any listing and apply on the employer's own board through the link on the page. No account is required to browse or to apply.