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.

AI/ML
Data Science
Backend
Frontend
Mobile
DevOps
Web3
Games
Hardware
Robotics
Security
QA
Executive
Networking
Product
Design
Analytics
Support
Enterprise Apps
Quantum

Qualcomm

qualcomm.com
Qualcomm is a global technology leader in wireless telecommunications, connectivity, and semiconductor design. The company pioneered foundational mobile standards including 3G, 4G, and 5G while developing the Snapdragon platform that powers millions of smartphones, automotive systems, and connected devices. Operating primarily through chip sales and technology licensing, Qualcomm actively drives innovation in mobile computing, edge AI, and next-generation wireless networks.
qualcomm.com • HQ: San Diego, United States • AI Infrastructure • Information Technology • Data Centers • Edge AI • Internet of Things
HQ: San Diego, United States • AI Infrastructure • Information Technology • Data Centers • Edge AI • Internet of Things
$103k – $248k per year (Estimated) • Senior • 5+ years expIn office (Haifa, Israel) • Bachelor's Degree • Senior
C++
SystemVerilog
Verilog
Perl
Python
Chips/EDA
UVM
Formal Verification
QA
Rest-Assured
Apply
Open 136 days 5 months ago

ASICS Design Verification Engineer

$116k – $173k per year • Equity • Senior • 6+ years expIn office (San Diego, United States) • Bachelor's Degree • Senior
SystemVerilog
C++
Perl
Python
Verilog
VHDL
Chips/EDA
Formal Verification
UVM
QA
Rest-Assured
Apply
$116k – $173k per year • Equity • Junior • 2+ years expIn office (San Diego, United States) • Bachelor's Degree • Junior
SystemVerilog
Verilog
Python
Chips/EDA
UVM
Cadence Palladium
Formal Verification
Siemens Veloce
Synopsys ZeBu
QA
Rest-Assured
Apply
Report

Neuralink

neuralink.com
Neuralink is an American neurotechnology company founded in 2016 by Elon Musk and a team of scientists and engineers to build implantable brain-computer interfaces. Its N1 implant records neural activity through flexible electrode threads placed by a purpose-built surgical robot, allowing trial participants to control computers and devices directly with their thoughts. Headquartered in Fremont, California with a second campus in Austin, Texas, the company runs clinical studies aimed at restoring autonomy to people living with paralysis and is developing a vision prosthesis called Blindsight.
neuralink.com • HQ: Fremont, United States • Artificial Intelligence • Science & Engineering • Health Care • Biomedical Engineering • Medical Devices • 1001-5000 employees • Est. 2016
HQ: Fremont, United States • Artificial Intelligence • Science & Engineering • Health Care • Biomedical Engineering • Medical Devices • 1001-5000 employees • Est. 2016
Verified live · 1 hour ago 27 days ago

Digital Verification Engineer

$93k – $181k per year (Estimated) • Equity • Middle • 3+ years expIn office (South San Francisco, United States) • Internship • Middle
Perl
Python
SystemVerilog
C++
SystemC
Chips/EDA
Formal Verification
UVM
Apply
Report

Etched

etched.com
Etched. We co-design chips, racks, software, and manufacturing methods so frontier models can run with best-in-class throughput, latency, cost, and power efficiency for both prefill and decode workloads.
etched.com • San Jose • Taipei • Austin • Artificial Intelligence • AI Infrastructure • Semiconductors
San Jose • Taipei • Austin • Artificial Intelligence • AI Infrastructure • Semiconductors
Top 25% payVerified live · 8 hours ago 2 months ago

Physical Design Engineer - Block Level, Subsystem Implementation

$200k – $300k per year • Staff+ • 10+ years expIn office (Austin, United States) • Relocation • Full-Time • Staff
Perl
Python
AI/ML
LLM
Chips/EDA
Formal Verification
Synopsys Fusion Compiler
Synopsys PrimeTime
Apply
Top 25% payVerified live · 8 hours ago 2 months ago

Physical Design Engineer - Block Level, Subsystem Implementation

$200k – $300k per year • Staff+ • 10+ years expIn office (San Jose, United States) • Relocation • Full-Time • Staff
Perl
Python
AI/ML
LLM
Chips/EDA
Formal Verification
Synopsys Fusion Compiler
Synopsys PrimeTime
Apply
Verified live · 8 hours ago 4 months ago

PD Intern

Intern • In office (San Jose, United States) • Bachelor's Degree • Internship • Intern
Python
SystemVerilog
AI/ML
LLM
Chips/EDA
Formal Verification
UVM
Apply
Report

Graphcore

graphcore.ai
Graphcore is a British semiconductor company founded in Bristol in 2016 that designs the Intelligence Processing Unit, a processor architected specifically for machine learning rather than adapted from graphics. Its chips place large amounts of memory directly on the die and expose fine-grained parallelism, an approach aimed at sparse and irregular models that map poorly onto conventional accelerators. The company sells IPU systems and the Poplar software stack to research and enterprise customers, and has operated as a wholly owned subsidiary of SoftBank Group since its acquisition in 2024.
graphcore.ai • HQ: Bristol, United Kingdom • Hardware • Artificial Intelligence • Machine Learning • AI Infrastructure • Semiconductors • 1001-5000 employees • Est. 2016
HQ: Bristol, United Kingdom • Hardware • Artificial Intelligence • Machine Learning • AI Infrastructure • Semiconductors • 1001-5000 employees • Est. 2016
Open 263 daysVerified live · 17 min ago 9 months ago

Director, Silicon Verification

$121k – $257k per year (Estimated) • Executive • In office (Bristol, United Kingdom) • Architect
C++
Python
SystemVerilog
C
JavaScript
SQL
C++
LLVM
C
GCC
DevOps
Git
Chips/EDA
Formal Verification
UVM
Apply
Report

Cohu

cohu.com
Cohu offers the broadest portfolio of test and inspection equipment and services for back-end semiconductor manufacturing, including a one-stop-shop for semiconductor test and handling equipment, thermal subsystems, test contacting, vision inspection and MEMS test solutions.
cohu.com • San Diego • Saint Paul • Austin • Test & Measurement • Manufacturing • Semiconductor Manufacturing • Est. 1947
San Diego • Saint Paul • Austin • Test & Measurement • Manufacturing • Semiconductor Manufacturing • Est. 1947
Verified live · 2 hours ago 2 months ago

Senior FPGA Engineer

$135k – $150k per year • Equity • Senior • 7+ years expIn office • PhD • Senior
C++
Python
SystemVerilog
Verilog
Chips/EDA
Cadence Xcelium
Formal Verification
Siemens ModelSim
Apply
Open 250 daysVerified live · 2 hours ago 9 months ago

Senior Design Engineer

Senior • In office • Senior
MATLAB
SystemVerilog
Verilog
MATLAB
Simulink
Chips/EDA
UVM
Vitis
Xilinx Vivado
Formal Verification
Apply
Report

Cadence

cadence.com
Cadence is a leading EDA and Intelligent System Design provider delivering hardware, software, and IP for electronic design.
cadence.com • Munich • Belo Horizonte • Wireless • Hardware • Data Science
Munich • Belo Horizonte • Wireless • Hardware • Data Science
Intern • Belo Horizonte • Remote (Germany, Brazil) • Visa sponsorship • Master's Degree • Internship • Intern
C++
Python
SystemVerilog
Verilog
VHDL
Chips/EDA
Formal Verification
Apply
Report

Marvell Technology

marvell.com
Marvell Technology is a major American semiconductor company that specializes in designing infrastructure silicon for data centers, enterprise networking, and telecommunications. Founded in 1995, the company develops high-performance data processing units, optical interconnects, custom AI chips, and storage controllers. Through its advanced hardware solutions, it plays a vital role in powering cloud computing, high-speed networking, and automotive electronics worldwide.
marvell.com • HQ: Santa Clara, United States • Hardware • Data Centers • Semiconductors • 1001-5000 employees
HQ: Santa Clara, United States • Hardware • Data Centers • Semiconductors • 1001-5000 employees
Verified live · 1 day ago 2 months ago

Senior Staff Engineer, Design Verification

$144k – $255k per year (Estimated) • Equity • Staff+ • 5+ years expIn office (Westborough, United States) • Bachelor's Degree • Staff
C++
Perl
Python
SystemVerilog
AI/ML
ChatGPT
Copilot
Chips/EDA
Formal Verification
UVM
Apply
Verified live · 1 day ago 5 months ago

Distinguished Engineer - Digital Design

$132k – $269k per year (Estimated) • Equity • Lead • 17+ years expIn office (San Diego, United States) • Bachelor's Degree • Principal
SystemVerilog
Perl
Python
AI/ML
ChatGPT
Copilot
Chips/EDA
Formal Verification
Apply
Verified live · 1 day ago 5 months ago

Sr Staff Digital Design Engineer

$136k – $242k per year (Estimated) • Equity • Staff+ • 10+ years expIn office (San Diego, United States) • Bachelor's Degree • Staff
Perl
Python
SystemVerilog
AI/ML
ChatGPT
Copilot
Chips/EDA
Formal Verification
Apply
Report

Bosch

bosch.com
Bosch is a leading global supplier of technology and services, operating across mobility solutions, industrial technology, consumer goods, and energy and building technology. Headquartered in Germany, the enterprise is renowned for its innovations in Internet of Things (IoT) software, automotive components, power tools, and household appliances.
bosch.com • HQ: Gerlingen, Germany • Consumer Electronics • Artificial Intelligence • Hardware • Home Appliances • Automotive Manufacturing • Manufacturing • Consumer Goods • 5000+ employees
HQ: Gerlingen, Germany • Consumer Electronics • Artificial Intelligence • Hardware • Home Appliances • Automotive Manufacturing • Manufacturing • Consumer Goods • 5000+ employees
Verified live · 1 hour ago 2 months ago

ASIC Verification EEJ 2026

$26k – $62k per year (Estimated) • Senior • 5+ years expIn office (Bengaluru, India) • Full-Time • Middle • English
SystemVerilog
Verilog
Perl
VHDL
Chips/EDA
Formal Verification
UVM
Apply
Report

Cisco Systems

cisco.com
Cisco Systems is an American multinational digital communications and technology conglomerate headquartered in San Jose, California. Founded in 1984 by Stanford computer scientists, Cisco is the world's largest networking equipment provider and a global leader in cybersecurity, cloud infrastructure, and enterprise software.
cisco.com • HQ: San Jose, United States • Enterprise Networks • Artificial Intelligence • Log Analytics • Government • AI Infrastructure • 1001-5000 employees • Est. 1984
HQ: San Jose, United States • Enterprise Networks • Artificial Intelligence • Log Analytics • Government • AI Infrastructure • 1001-5000 employees • Est. 1984
Top 25% pay 2 months ago

ASIC Design Verification Engineer

$165k – $241k per year • Equity • Senior • 7+ years expIn office (San Jose, United States) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Verilog
C++
Perl
Python
Chips/EDA
UVM
Formal Verification
Apply
$164k – $235k per year • Equity • Lead • 8+ years expIn office (Carlsbad, Allentown, United States) • Bachelor's Degree • Full-Time • Staff
Perl
Python
SystemVerilog
Verilog
Chips/EDA
UVM
Formal Verification
Siemens Veloce
Synopsys HAPS
Apply
Report

OpenAI

openai.com
OpenAI is an American artificial intelligence research and deployment company founded in 2015 with the mission of ensuring that artificial general intelligence benefits all of humanity. It develops the GPT family of large language models and turns them into consumer and developer products, including the ChatGPT assistant, the Sora video model, the Codex coding agent and a commercial API used by millions of developers. Structured as a public benefit corporation controlled by a non-profit foundation, the company is backed by Microsoft and SoftBank and operates from San Francisco.
openai.com • HQ: San Francisco, United States • Multimodal AI • AI Agents • Artificial Intelligence • Machine Learning • LLM & Generative AI • 1001-5000 employees • Est. 2015
HQ: San Francisco, United States • Multimodal AI • AI Agents • Artificial Intelligence • Machine Learning • LLM & Generative AI • 1001-5000 employees • Est. 2015
$162k – $302k per year • Equity • Senior • 5+ years expSan Francisco • Remote (United States) • Relocation • Bachelor's Degree • Full-Time • Senior
Python
SystemVerilog
AI/ML
LLM Evaluation
OpenAI
LLM
Chips/EDA
Synopsys Verdi
UVM
Formal Verification
Apply
Top 25% payVerified live · 1 hour ago 3 months ago

Senior RTL Engineer, Interconnect Design

$225k – $445k per year • Senior • Remote/Hybrid (San Francisco, United States) • Relocation • Full-Time • Senior
SystemVerilog
Verilog
AI/ML
OpenAI
DevOps
HPC
Chips/EDA
Formal Verification
Apply
Open 305 daysTop 25% pay 11 months ago

Design Verification Engineer

$226k – $445k per year • Middle • 3+ years expRemote/Hybrid (San Francisco, United States) • Full-Time • Middle
SystemVerilog
AI/ML
OpenAI
Chips/EDA
Formal Verification
Synopsys Verdi
UVM
Apply
Report

HP Inc.

hp.com
HP Inc. is a American multinational technology company specializing in personal computing, printing systems, and 3D printing solutions. Formed in 2015 following the corporate split of the original Hewlett-Packard Company, it manufactures a broad portfolio of consumer and enterprise products, including laptops, desktop PCs, workstation displays, and commercial printers.
hp.com • HQ: Palo Alto, United States • Consumer Electronics • Printers & Scanners • Laptops • 5000+ employees
HQ: Palo Alto, United States • Consumer Electronics • Printers & Scanners • Laptops • 5000+ employees
Verified live · 1 day ago 2 months ago

ASIC Design Engineer

$71k – $168k per year (Estimated) • Middle • 3+ years expIn office (Singapore) • Relocation • Bachelor's Degree • Full-Time • Middle
C++
Perl
Python
SystemVerilog
Verilog
DevOps
Git
GitHub
Chips/EDA
Formal Verification
Apply
Report

Nokia

nokia.com
As a technology leader across mobile, fixed and cloud networks, our solutions enable a more productive, sustainable and inclusive world.
nokia.com • Singapore • Artificial Intelligence • Telecommunications • Cybersecurity • 1001-5000 employees • Est. 1865
Singapore • Artificial Intelligence • Telecommunications • Cybersecurity • 1001-5000 employees • Est. 1865
Verified live · 2 hours ago 3 months ago

Staff Engineer - ASIC Verification

Staff+ • Remote/Hybrid • Bachelor's Degree • Staff
Perl
Python
SystemVerilog
Verilog
Chips/EDA
Formal Verification
UVM
Apply
Open 118 daysVerified live · 2 hours ago 4 months ago

Principal Engineer - ASIC Verification

Lead • Remote/Hybrid • Bachelor's Degree • Principal
Perl
Python
SystemVerilog
Verilog
Chips/EDA
Formal Verification
UVM
Apply
Open 328 daysVerified live · 2 hours ago 11 months ago

Principal ASIC Verification Engineer

Lead • Remote/Hybrid • Bachelor's Degree • Principal
Python
SystemVerilog
Verilog
Chips/EDA
Formal Verification
UVM
Apply
Report

eleQtron

eleqtron.com
eleQtron is a Siegen company founded in 2020 that builds trapped ion quantum computers. Its MAGIC technology controls qubits with microwaves rather than lasers, which simplifies scaling the hardware. The company was the first German quantum computing company founded on ion trap technology.
eleqtron.com • HQ: Siegen, Germany • Hardware • Quantum Computing Hardware • Quantum Science & Computing • Est. 2020
HQ: Siegen, Germany • Hardware • Quantum Computing Hardware • Quantum Science & Computing • Est. 2020
Verified live · 11 hours ago 3 months ago

FPGA Engineer – Quantum Computing (f/m/d)

$52k – $125k per year (Estimated) • Middle • 3+ years expIn office • Middle • English: C1
Python
SystemVerilog
Verilog
VHDL
DevOps
CI/CD
Git
Chips/EDA
Cocotb
Formal Verification
Vitis
Xilinx Vivado
Apply
Report

Dolphin Semiconductor

dolphin-semiconductor.com
Dolphin Design is a French semiconductor design company based near Grenoble with roots going back to 1985. It licenses low-power silicon intellectual property such as power management, clocking, audio and data conversion blocks. Its technology is embedded in chips for wearables, automotive and internet of things devices.
dolphin-semiconductor.com • HQ: Grenoble, France • Consumer Electronics • Embedded Systems • Hardware
HQ: Grenoble, France • Consumer Electronics • Embedded Systems • Hardware
Open 1194 daysVerified live · 1 day ago 3 years ago

Digital Design Engineer (W/M)

$47k – $114k per year (Estimated) • Senior • 5+ years expRemote/Hybrid • Contractor • Senior • English
SystemVerilog
Verilog
VHDL
Chips/EDA
Formal Verification
Apply
Report

Vectoratomic

vectoratomic.com
Vector Atomic products will transform industries from transportation to telecom. By harnessing the extreme stability of atoms, our clocks and sensors deliver performance for tomorrow.
vectoratomic.com • HQ: Pleasanton, United States • Quantum Science & Computing • Hardware • Sensors • 51-200 employees • Est. 2018
HQ: Pleasanton, United States • Quantum Science & Computing • Hardware • Sensors • 51-200 employees • Est. 2018
Open 129 daysVerified live · 1 day ago 5 months ago

Staff FPGA Engineer

$150k – $180k per year • Staff+ • 7+ years expIn office (Pleasanton, United States) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
Verilog
VHDL
DevOps
CI/CD
Git
Chips/EDA
Formal Verification
PetaLinux
UVM
UVVM
Xilinx Vivado
Management
Jira
Quantum
IonQ
Apply
Open 129 daysVerified live · 1 day ago 5 months ago

Senior FPGA Engineer

$130k – $155k per year • Senior • 5+ years expIn office (Pleasanton, United States) • Bachelor's Degree • Full-Time • Senior
Verilog
VHDL
SystemVerilog
DevOps
Git
CI/CD
Chips/EDA
Xilinx Vivado
Formal Verification
PetaLinux
UVM
UVVM
Management
Jira
Quantum
IonQ
Apply
Report

AFRY

afry.com
AFRY (AF Pöyry) is a Swedish-Finnish engineering, design, and advisory company providing services across energy, industry, infrastructure, and clean technology. The firm operates globally, helping public and private sector clients accelerate the transition toward a sustainable society. Combining technical expertise with digital solutions, it supports projects from early-stage strategy and environmental impact assessments to full-scale engineering execution.
afry.com • Vienna • Kuala Lumpur • Stockholm • Berlin • Essen • Cybersecurity • Professional Services • 5000+ employees
Vienna • Kuala Lumpur • Stockholm • Berlin • Essen • Cybersecurity • Professional Services • 5000+ employees
Open 129 daysVerified live · 2 hours ago 5 months ago

UVM Verification specialist for ASIC and/or FPGA development

$25k – $61k per year (Estimated) • Senior • 5+ years expRemote/Hybrid (Pune, India) • Full-Time • Senior • English
Perl
Python
SystemVerilog
Chips/EDA
Formal Verification
UVM
Apply
Report

Omni Design Technologies

omnidesigntech.com
Omni Design Technologies delivers Wideband Signal Processing(tm) solutions using high-performance, ultra-low power semiconductor IP core products built on advanced FinFET process nodes, powering SoC designs in wireless, automotive, optical, AI, and more.
omnidesigntech.com • Bengaluru • Milpitas • Hyderabad • Taipei • Fort Collins • Multimodal AI • Artificial Intelligence • Hardware • Est. 2015
Bengaluru • Milpitas • Hyderabad • Taipei • Fort Collins • Multimodal AI • Artificial Intelligence • Hardware • Est. 2015
Open 1905 daysVerified live · 11 hours ago 5 years ago

Senior Digital Verification Engineer

$28k – $67k per year (Estimated) • Senior • 5+ years expRemote/Hybrid (Bengaluru, India) • Full-Time • Senior
Verilog
Python
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply
Report
Formal Verification Jobs - Remote & On-site
Frequently asked questions
How many Formal Verification jobs are available on Alion?
There are currently 177 active listings from 37 hiring companies on Alion, refreshed daily.
What salary do Formal Verification jobs pay?
The average salary is around $261,918 per year based on the current listings.
Are remote options available for Formal Verification jobs?
Yes, many of these roles offer remote or hybrid work, and you can filter listings by remote, relocation and visa sponsorship.
How do I apply for Formal Verification jobs?
Open any listing on Alion and apply directly with the employer through the provided link - no lengthy sign-up required.