Formal Verification Jobs - Remote & On-site

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

You searched for “Formal Verification Jobs - Remote & On-site”, so this list shows: technical roles only · the stack names Formal Verification · known staffing agencies left out. Adjust the filters

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

Google

google.com
google.com • HQ: Mountain View, United States • Digital Media • Marketing Analytics & Attribution • Streaming & OTT Platforms • Consumer Internet Groups • Foundation Models • Operating Systems • Cloud Platforms (IaaS & PaaS) • Video & Photo Sharing • Advertising • Search Engines • 11-50 employees • Est. 1998 • Trust B • Hiring 2661, 647 new
HQ: Mountain View, United States • Digital Media • Marketing Analytics & Attribution • Streaming & OTT Platforms • Consumer Internet Groups • Foundation Models • Operating Systems • Cloud Platforms (IaaS & PaaS) • Video & Photo Sharing • Advertising • Search Engines • 11-50 employees • Est. 1998 • Trust B • Hiring 2661, 647 new
Google is an American technology company founded in 1998 by Larry Page and Sergey Brin and now the principal subsidiary of Alphabet, headquartered in Mountain View, California. It operates the world's dominant search engine and the advertising system built around it, along with YouTube, Android, Chrome, Gmail, Maps, Workspace and Google Cloud, reaching billions of users across nearly every internet-connected market. The company designs its own silicon in the Tensor Processing Unit line, develops the Gemini foundation models through Google DeepMind, and derives most of its revenue from advertising while cloud has become its fastest growing segment.
Sergey Brin · Co-Founder · decision-maker
Larry Page · Co-Founder · decision-maker
Nathaniel Hunter · Executive Officer · decision-maker
Ernest Simmons Jr. · Executive Officer, Director · decision-maker
Careers mailbox is known
Verified live · 6 hours ago 8 hours ago Hiring now · 86%

ASIC Design Verification Manager, Google Cloud

≈ $176k – $318k per year (Estimated) • Staff+ • 10+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Staff
SystemVerilog
Python
Bash
Perl
AI/ML
Vertex AI
TPU
Edge AI
DevOps
GCP
Linux
Chips/EDA
UVM
Formal Verification
+3
Apply
Verified live · 6 hours ago 1 day ago Hiring now · 86%

SOC and IP Design Engineer, Google Cloud

≈ $80k – $186k per year (Estimated) • Middle • 4+ years exp • In office (Haifa, Israel) • Bachelor's Degree • Middle
Verilog
SystemVerilog
AI/ML
Vertex AI
Gemini
TPU
Machine Learning
DevOps
GCP
Chips/EDA
Formal Verification
Apply
Verified live · 6 hours ago 3 days ago Likely open · 63%

Senior Silicon Design Verification Engineer

≈ $21k – $49k per year (Estimated) • Senior • 8+ years exp • In office (New Taipei, Taiwan) • Bachelor's Degree • Senior
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply

Arm Holdings

arm.com
arm.com • HQ: Cambridge, United Kingdom • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 1001-5000 employees • Est. 1990 • Trust A • Hiring 403, 41 new
HQ: Cambridge, United Kingdom • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 1001-5000 employees • Est. 1990 • Trust A • Hiring 403, 41 new
Arm Holdings is a British semiconductor and software design company headquartered in Cambridge, England. Rather than manufacturing physical chips directly, Arm designs energy-efficient central processing unit (CPU) architectures and intellectual property (IP), licensing them to major technology partners such as Apple, Qualcomm, Samsung, and Nvidia.
No named decision-maker yet.
Careers mailbox is known
Verified live · 1 hour ago 8 hours ago Hiring now · 86%

Principal SOC Verification Engineer

≈ $27k – $61k per year (Estimated) • Lead • Hybrid (Bengaluru, India) • Bachelor's Degree • Principal
Verilog
C++
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 hour ago 9 days ago Likely open · 63%

Staff Design Verification Engineer - Network Coherent Interconnect

≈ $146k – $264k per year (Estimated) • Staff+ • 8+ years exp • Hybrid (Austin, United States) • Bachelor's Degree • Staff
Python
SystemVerilog
Perl
DevOps
Cortex
HPC
Prometheus
Chips/EDA
UVM
Formal Verification
Apply

HCLTech

hcltech.com
hcltech.com • HQ: Noida, India • Systems Integrators • IT Consulting & Digital Transformation • IT Outsourcing & Dedicated Teams • 5000+ employees • Est. 1976 • Hiring 2128, 795 new
HQ: Noida, India • Systems Integrators • IT Consulting & Digital Transformation • IT Outsourcing & Dedicated Teams • 5000+ employees • Est. 1976 • Hiring 2128, 795 new
HCLTech is a major Indian multinational information technology (IT) services and consulting company headquartered in Noida, Uttar Pradesh. Spun off from the original HCL Group in 1991, it ranks as one of India's largest technology companies alongside firms like TCS, Infosys, and Wipro.
No named decision-maker yet.
No careers mailbox known
Verified live · 4 hours ago 1 day ago Hiring now · 86%

Senior Group Technical Architect

≈ $29k – $61k per year (Estimated) • Staff+ • 15+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Architect
Verilog
SystemVerilog
Perl
Python
Chips/EDA
UVM
Formal Verification
Synopsys ZeBu
Cadence Palladium
Synopsys VCS
Cadence Xcelium
Siemens QuestaSim
+3
Apply

Microchip Technology

microchip.com
microchip.com • HQ: Chandler, United States • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 201-500 employees • Est. 1987 • Hiring 186, 47 new
HQ: Chandler, United States • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 201-500 employees • Est. 1987 • Hiring 186, 47 new
Headquartered in Chandler, Arizona, Microchip Technology is a leading semiconductor company specializing in smart, connected, and secure embedded control solutions. The corporation designs and manufactures a comprehensive portfolio of microcontrollers, mixed-signal, analog, and Flash-IP integrated circuits. Serving tens of thousands of clients across industrial, automotive, consumer, computing, and aerospace markets worldwide, the enterprise enables efficient, low-risk product development.
No named decision-maker yet.
Careers mailbox is known
Verified live · 1 hour ago 1 day ago Hiring now · 86%

Principal Engineer-Verification

≈ $23k – $53k per year (Estimated) • Lead • 8+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Principal • English
Python
Verilog
C++
SystemVerilog
VHDL
Perl
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 hour ago 1 day ago Hiring now · 86%

Principal Verification Engineer

≈ $23k – $53k per year (Estimated) • Lead • 8+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Principal • English
Python
Verilog
C++
SystemVerilog
VHDL
Perl
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 hour ago 1 day ago Hiring now · 90%

Senior Manager- SOC Verification

≈ $98k – $179k per year (Estimated) • Senior • 15+ years exp • In office (Chandler, United States) • Bachelor's Degree • Full-Time • Senior
Python
SystemVerilog
Perl
DevOps
Cortex
Prometheus
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
+1
Apply

Amazon

amazon.com
amazon.com • HQ: Seattle, United States • Robotics AI • Logistics & Warehouse Robotics • Advertising • Logistics • Streaming & OTT Platforms • Cloud Platforms (IaaS & PaaS) • Marketplaces • 5000+ employees • Est. 1994 • Trust A • Hiring 8132, 1422 new
HQ: Seattle, United States • Robotics AI • Logistics & Warehouse Robotics • Advertising • Logistics • Streaming & OTT Platforms • Cloud Platforms (IaaS & PaaS) • Marketplaces • 5000+ employees • Est. 1994 • Trust A • Hiring 8132, 1422 new
Amazon is an American technology and retail conglomerate founded by Jeff Bezos in 1994 as an online bookstore and headquartered in Seattle, Washington. It operates the world's largest online marketplace together with a global logistics network, physical grocery stores and a third-party seller platform that accounts for most units sold. Amazon Web Services, launched in 2006, is the leading public cloud provider and generates the majority of the group's operating profit, while advertising, Prime Video, Alexa devices and Kuiper satellite broadband round out the business.
Jeff Bezos · Founder & Executive Chairman · decision-maker
Doug Herrington · Chief Executive Officer, Worldwide Amazon Stores · decision-maker
Matt Garman · Chief Executive Officer, Amazon Web Services · decision-maker
Brian Olsavsky · Senior Vice President & Chief Financial Officer · decision-maker
Careers mailbox is known
Verified live · 4 hours ago 1 day ago Hiring now · 86%

Formal Verification Engineer, Annapurna Labs

≈ $82k – $240k per year (Estimated) • In office (Haifa, Israel) • Bachelor's Degree • Full-Time
Python
Verilog
SystemVerilog
Perl
AI/ML
AI Agents
DevOps
AWS
Chips/EDA
Formal Verification
Apply
Top 25% payVerified live · 4 hours ago Visa sponsor 1 day ago Hiring now · 90%

Junior Design Verification Engineer, Amazon Leo

$115k – $160k per year • Equity • Junior • In office (Austin, United States) • Bachelor's Degree • Full-Time • Junior
Verilog
SystemVerilog
MATLAB
Chips/EDA
UVM
Formal Verification
Apply
Top 25% payVerified live · 4 hours ago Visa sponsor 9 days ago Hiring now · 76%

ASIC Design Verification Engineer, Amazon Leo

$154k – $215k per year • Equity • Senior • 5+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Full-Time • Senior
C++
MATLAB
Chips/EDA
UVM
Formal Verification
Apply

Meta

meta.com
meta.com • HQ: Menlo Park, United States • Digital Media • Foundation Models • Advertising • Virtual & Augmented Reality • Consumer Internet Groups • Messaging Apps • Social Networks • 5000+ employees • Est. 2004 • Hiring 986, 101 new
HQ: Menlo Park, United States • Digital Media • Foundation Models • Advertising • Virtual & Augmented Reality • Consumer Internet Groups • Messaging Apps • Social Networks • 5000+ employees • Est. 2004 • Hiring 986, 101 new
Meta Platforms is an American technology company founded in 2004 as Facebook and renamed in 2021 to signal its investment in immersive computing. It operates the largest family of social and messaging applications in the world, comprising Facebook, Instagram, WhatsApp, Messenger and Threads, and earns almost all of its revenue from advertising sold against that audience. Headquartered in Menlo Park, California, the company also develops the open Llama language models and the Reality Labs division behind Quest headsets and Ray-Ban smart glasses.
Mark Zuckerberg · Founder, Chairman & Chief Executive Officer · decision-maker
John Sines · Executive Officer · decision-maker
Jordan Schwartz · Executive Officer · decision-maker
Meron Gribetz · Executive Officer, Director · decision-maker
No careers mailbox known
Verified live · 1 hour ago 1 day ago Hiring now · 86%

ASIC Engineer, Design

≈ $45k – $93k per year (Estimated) • Staff+ • 15+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Architect
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Formal Verification
Apply
Verified live · 1 hour ago 2 days ago Hiring now · 84%

ASIC Design Verification Engineer, DFT

≈ $207k – $378k per year (Estimated) • Senior • 8+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Full-Time • Staff
Python
C++
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 hour ago 6 days ago Likely open · 64%

ASIC Engineer, Design (University Grad)

≈ $180k – $408k per year (Estimated) • In office (Austin, United States) • Bachelor's Degree • Full-Time
Verilog
SystemVerilog
AI/ML
Machine Learning
Chips/EDA
Formal Verification
Apply

Synopsys

synopsys.com
synopsys.com • HQ: Sunnyvale, United States • Simulation & Digital Twin Software • Semiconductor IP & Chip Design Services • EDA Software • 5000+ employees • Est. 1986 • NASDAQ: SNPS • Trust A • Hiring 433, 52 new
HQ: Sunnyvale, United States • Simulation & Digital Twin Software • Semiconductor IP & Chip Design Services • EDA Software • 5000+ employees • Est. 1986 • NASDAQ: SNPS • Trust A • Hiring 433, 52 new
Synopsys is an American software company founded in 1986 that supplies electronic design automation tools used to design and verify integrated circuits, together with a large portfolio of licensable semiconductor IP such as interface, memory and processor blocks. Its 2025 acquisition of Ansys added engineering simulation software for structures, fluids and electromagnetics, while it sold its application security business, now Black Duck, in 2024. Listed on Nasdaq, it hires applications engineers, SoC solutions engineers and R&D staff in the United States, India and Vietnam. The company is headquartered in Sunnyvale, California, United States.
Mike Ellow · Executive Officer · decision-maker
Janet Lee · Executive Officer · decision-maker
Aart de Geus · Executive Officer, Director · decision-maker
Shelagh Glaser · Executive Officer · decision-maker
Careers mailbox is known
Verified live · 2 hours ago 1 day ago Hiring now · 90%

SOC Engineering, Sr Engineer - 18430

≈ $17k – $39k per year (Estimated) • Senior • 6+ years exp • In office (Ho Chi Minh City, Vietnam) • Bachelor's Degree • Senior
Python
SystemVerilog
Perl
DevOps
HPC
Chips/EDA
Cadence Xcelium
UVM
Formal Verification
Apply
Verified live · 2 hours ago 3 days ago Hiring now · 87%

R&D Engineering, Sr Staff Engineer - 19170

≈ $101k – $209k per year (Estimated) • Staff+ • 10+ years exp • In office (Seongnam, South Korea) • Bachelor's Degree • Staff
Python
Verilog
SystemVerilog
AI/ML
Model Context Protocol
Embeddings
AI Agents
LLM
RAG
Edge AI
Machine Learning
Chips/EDA
UVM
Formal Verification
+4
Apply
Verified live · 2 hours ago 4 days ago Hiring now · 87%

ASIC Digital Design, Principal Engineer - 18643

≈ $26k – $60k per year (Estimated) • Lead • 10+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Principal
Verilog
SystemVerilog
Perl
Chips/EDA
Formal Verification
Apply

Microsoft

microsoft.com
microsoft.com • HQ: Redmond, United States • Gaming Consoles • Console Games • Developer Tools • Cloud Platforms (IaaS & PaaS) • Office & Productivity Software • Operating Systems • 5000+ employees • Est. 1975 • Trust B • Hiring 1424, 147 new
HQ: Redmond, United States • Gaming Consoles • Console Games • Developer Tools • Cloud Platforms (IaaS & PaaS) • Office & Productivity Software • Operating Systems • 5000+ employees • Est. 1975 • Trust B • Hiring 1424, 147 new
Microsoft is an American multinational technology corporation founded in 1975 by Bill Gates and Paul Allen and headquartered in Redmond, Washington. It built the personal computing era around the Windows operating system and the Office productivity suite, and now generates the largest share of its revenue from Azure cloud infrastructure and commercial subscriptions. The company also owns GitHub, LinkedIn and the Xbox gaming business, and has invested heavily in artificial intelligence through its partnership with OpenAI and the Copilot assistants embedded across its products.
Judson Althoff · Chief Executive Officer, Commercial Business · decision-maker
Amy Hood · Executive Vice President & Chief Financial Officer · decision-maker
Satya Nadella · Chairman & Chief Executive Officer · decision-maker
Paul Allen · Co-Founder · founder
No careers mailbox known
Verified live · 1 hour ago 1 day ago Hiring now · 86%

Principal Formal Design Verification Engineer

≈ $27k – $61k per year (Estimated) • Lead • 12+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Principal
Python
SystemVerilog
DevOps
Azure
Chips/EDA
Formal Verification
UVM
Management
OneDrive
Apply
Top 25% payVerified live · 1 hour ago 7 days ago Likely open · 62%

Design Verification Engineer

$102k – $202k per year • Middle • 3+ years exp • In office (Raleigh, Austin, United States) • Bachelor's Degree • Middle
C++
SystemVerilog
Python
Ruby
Perl
DevOps
Azure
Chips/EDA
UVM
Formal Verification
Management
OneDrive
+1
Apply
Top 25% payVerified live · 1 hour ago 13 days ago Likely open · 52%

Principal Design Verification Engineer - Formal

$143k – $275k per year • Lead • 12+ years exp • In office (Raleigh, Austin, Hillsboro, Mountain View, United States) • Bachelor's Degree • Principal
Python
SystemVerilog
DevOps
Azure
Chips/EDA
Formal Verification
UVM
Management
OneDrive
Apply

Efficient Computer

efficient.computer
efficient.computer • HQ: Pittsburgh, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • 11-50 employees • Startup • Trust B • Hiring 20, 2 new
HQ: Pittsburgh, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • 11-50 employees • Startup • Trust B • Hiring 20, 2 new
Efficient Computer builds the world's most energy-efficient general-purpose AI chips, delivering up to 100× better efficiency than low-power CPUs. Enabling edge AI, on-device AI inference, IoT devices, and industrial automation that run for years on a single charge.
No named decision-maker yet.
Careers mailbox is known
Top 25% payVerified live · 4 hours ago 1 day ago Hiring now · 90%

Senior Digital Verification Engineer - Contract

$160k – $260k per year • Senior • 8+ years exp • In office (San Francisco, Austin, Pittsburgh, United States) • Bachelor's Degree • Contractor • Senior
Python
C++
SystemVerilog
AI/ML
AI Agents
Chips/EDA
Cadence Xcelium
UVM
Cadence JasperGold
Formal Verification
Synopsys Verdi
+1
Apply
Top 25% payVerified live · 4 hours ago 1 month ago Fading · 39%

Staff Digital Verification Engineer

$160k – $245k per year • Staff+ • 10+ years exp • In office (Austin, San Francisco, Pittsburgh, United States) • Bachelor's Degree • Staff
Python
C++
SystemVerilog
AI/ML
AI Agents
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Apply
Top 25% payVerified live · 4 hours ago 2 months ago Long shot · 22%

Applications Engineer - Silicon IP

$160k – $230k per year • Senior • 5+ years exp • In office (Pittsburgh, San Francisco, Austin, United States) • Bachelor's Degree • Senior
Python
SystemVerilog
Chips/EDA
Cadence Innovus
Synopsys PrimeTime
Synopsys Fusion Compiler
Cadence Xcelium
UVM
Formal Verification
Apply

Qualcomm

qualcomm.com
qualcomm.com • HQ: San Diego, United States • Autonomous Driving • Car Electronics • RF & Wireless Hardware • Processors, MCUs & AI Chips • 5000+ employees • Est. 1985 • Trust B • Hiring 1852, 32 new
HQ: San Diego, United States • Autonomous Driving • Car Electronics • RF & Wireless Hardware • Processors, MCUs & AI Chips • 5000+ employees • Est. 1985 • Trust B • Hiring 1852, 32 new
Qualcomm is an American semiconductor and wireless technology company founded in 1985 and headquartered in San Diego, California. It holds foundational patents in CDMA and the 3G, 4G and 5G cellular standards, licensing them to nearly every handset maker in the world, while its chip division designs the Snapdragon platforms that power a large share of Android smartphones, personal computers, wearables and connected cars. The company has been diversifying away from smartphone dependence into automotive digital cockpit and driver assistance systems, industrial internet of things, and on-device AI processing through its Hexagon and Oryon architectures.
Akash Palkhiwala · Chief Financial Officer & Chief Operating Officer · decision-maker
Cristiano Amon · President & Chief Executive Officer · decision-maker
Andrew Viterbi · Co-Founder · founder
Irwin Jacobs · Co-Founder & former Chairman · founder
No careers mailbox known
Verified live · 3 hours ago 1 day ago Hiring now · 90%

Senior Hardware Engineer - SoC Architecture & Design - Qualcomm - Grenoble, France

≈ $56k – $98k per year (Estimated) • Equity • Senior • 8+ years exp • In office (Grenoble, France) • Relocation • Bachelor's Degree • Senior
Formal Verification
QA
Rest-Assured
Apply
Verified live · 3 hours ago 9 days ago Hiring now · 90%

CPU Design Sr Staff Verification Engineer

≈ $33k – $69k per year (Estimated) • Staff+ • 12+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Staff
Verilog
C++
SystemVerilog
Chips/EDA
Formal Verification
QA
Rest-Assured
Apply
Verified live · 3 hours ago 10 days ago Hiring now · 90%

ASIC/FPGA Design Verification Engineer, Sr Staff

≈ $115k – $192k per year (Estimated) • Staff+ • 10+ years exp • In office (Ottawa, Canada) • Bachelor's Degree • Staff
SystemVerilog
DevOps
HPC
Chips/EDA
UVM
Formal Verification
QA
Rest-Assured
Apply

OmniVision

ovt.com
ovt.com • HQ: Santa Clara, United States • Displays & Panel Technology • Car Electronics • Sensors & Transducers • Manufacturing • Hardware • Est. 1995 • Hiring 76, 74 new
HQ: Santa Clara, United States • Displays & Panel Technology • Car Electronics • Sensors & Transducers • Manufacturing • Hardware • Est. 1995 • Hiring 76, 74 new
OmniVision is a fabless semiconductor company headquartered in Santa Clara, California, developing CMOS image sensors, analog and mixed-signal products, display driver solutions and related imaging technology for smartphones, automotive, medical, security and other applications. Founded in 1995 and owned since 2019 by China's Will Semiconductor, it runs design, test and support centres across Asia, Europe and the United States, including Yokohama, Singapore, Oslo, Munich and Mechelen. It hires analog, digital, pixel, NPU and mixed-signal design engineers, process integration, characterization, product and test engineers, functional safety and quality specialists and IT and security staff.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 hour ago 1 day ago Hiring now · 86%

Digital Design Engineer: Senior Engineer / Engineer

≈ $51k – $116k per year (Estimated) • Senior • 3+ years exp • In office (Yokohama, Japan) • Master's Degree • Senior • Japanese
Verilog
SystemVerilog
Chips/EDA
Formal Verification
Apply
Verified live · 1 hour ago 1 day ago Hiring now · 86%

Digital Design engineer: Senior staff engineer / Staff engineer

≈ $69k – $144k per year (Estimated) • Staff+ • 7+ years exp • In office (Yokohama, Japan) • Staff • Japanese
Verilog
SystemVerilog
Chips/EDA
Formal Verification
Apply

Apple

apple.com
apple.com • HQ: Cupertino, United States • Smartwatches & Fitness Trackers • Operating Systems • Tablets • Laptops • Smartphones • 5000+ employees • Est. 1976 • Trust B • Hiring 3186, 299 new
HQ: Cupertino, United States • Smartwatches & Fitness Trackers • Operating Systems • Tablets • Laptops • Smartphones • 5000+ employees • Est. 1976 • Trust B • Hiring 3186, 299 new
Apple is an American multinational technology company founded in 1976 by Steve Jobs, Steve Wozniak and Ronald Wayne, and headquartered in Cupertino, California. It designs and sells consumer hardware including the iPhone, Mac, iPad, Apple Watch, AirPods and Vision Pro, together with the operating systems and silicon that run them. A growing services division built around the App Store, iCloud, Apple Music, Apple TV+ and Apple Pay now contributes a large share of profit, making Apple one of the most valuable companies in the world.
Sabih Khan · Chief Operating Officer · decision-maker
Kevan Parekh · Chief Financial Officer · decision-maker
Tim Cook · Chief Executive Officer · decision-maker
Steve Wozniak · Co-Founder · founder
No careers mailbox known
Verified live · 2 hours ago Visa sponsor 2 days ago Hiring now · 70%

Formal Verification Framework for Hardware IPs Validation

≈ $95k – $184k per year (Estimated) • In office (London, United Kingdom) • Bachelor's Degree
Python
Verilog
VHDL
Chips/EDA
Formal Verification
Apply
Verified live · 2 hours ago Visa sponsor 10 days ago Likely open · 67%

ASIC Design Engineering Lead - SoC IP DMA

≈ $245k – $466k per year (Estimated) • Lead • 20+ years exp • In office (Sunnyvale, United States) • Staff
Formal Verification
Apply
Verified live · 2 hours ago Visa sponsor 1 month ago Fading · 27%

Design Verification Engineer

≈ $213k – $386k per year (Estimated) • Staff+ • 10+ years exp • In office (Beaverton, United States) • Bachelor's Degree • Staff
Python
SystemVerilog
Perl
AI/ML
LLM
Chips/EDA
UVM
Formal Verification
Apply

Lattice Semiconductor

latticesemi.com
latticesemi.com • HQ: Hillsboro, United States • Processors, MCUs & AI Chips • 501-1000 employees • Est. 1983 • NASDAQ: LSCC • Trust B • Hiring 121, 11 new
HQ: Hillsboro, United States • Processors, MCUs & AI Chips • 501-1000 employees • Est. 1983 • NASDAQ: LSCC • Trust B • Hiring 121, 11 new
Lattice Semiconductor is a semiconductor company headquartered in Hillsboro, Oregon, designing low-power field programmable gate arrays (FPGAs), programmable logic devices and related software for compute, communications, industrial, automotive, consumer and aerospace markets. Founded in 1983 in Oregon's Silicon Forest and listed on Nasdaq, it describes itself as the largest supplier of small FPGAs by installed base, with design and operations centers in San Jose, Pune, Penang, Taipei, Manila and Shanghai. It hires IC and SoC design engineers, firmware and BMC engineers, silicon validation and foundry engineers, field applications engineers, product marketers and finance staff.
No named decision-maker yet.
Careers mailbox is known
Verified live · 6 hours ago 2 days ago Hiring now · 90%

Senior Design Verification Engineer

≈ $17k – $43k per year (Estimated) • Senior • 6+ years exp • In office (India) • Master's Degree • Full-Time • Senior
Python
SystemVerilog
Perl
Chips/EDA
Synopsys VCS
Cadence Xcelium
UVM
Formal Verification
Apply
Verified live · 6 hours ago 23 days ago Hiring now · 79%

Senior Staff IP Design Engineer

≈ $26k – $54k per year (Estimated) • Staff+ • 10+ years exp • In office (George Town, Malaysia) • Bachelor's Degree • Full-Time • Staff
Verilog
SystemVerilog
VHDL
Chips/EDA
Synopsys Design Compiler
Synopsys PrimeTime
Formal Verification
Apply
Verified live · 6 hours ago 1 month ago Fading · 43%

Senior Manager, QA Engineering – Hardware & Firmware

≈ $17k – $42k per year (Estimated) • Senior • 10+ years exp • In office (Pune, India) • Bachelor's Degree • Full-Time • Senior
Python
SystemVerilog
DevOps
CI/CD
Chips/EDA
Formal Verification
Management
Agile
Scrum
Apply

Renesas Electronics

renesas.com
renesas.com • HQ: Tokyo, Japan • Automotive Components • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 5000+ employees • Est. 2003 • Trust B • Hiring 658, 64 new
HQ: Tokyo, Japan • Automotive Components • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 5000+ employees • Est. 2003 • Trust B • Hiring 658, 64 new
Renesas Electronics is a Japanese semiconductor company formed in 2003 when Hitachi and Mitsubishi Electric combined their chip divisions, later absorbing NEC Electronics as well. It is one of the largest suppliers of microcontrollers in the world and holds a particularly strong position in automotive silicon, where its R-Car processors and body and powertrain controllers sit inside a large share of vehicles built globally. It has spent the past decade buying into analog and connectivity through Intersil, IDT, Dialog and Altium, broadening from bare microcontrollers into complete embedded systems for industrial and internet of things customers.
Bunsei Kure · Executive Officer, Director · decision-maker
Tetsuya Tsurumaru · Executive Officer, Director · decision-maker
Shuhei Shinkai · Chief Financial Officer · decision-maker
Hidetoshi Shibata · President & Chief Executive Officer · decision-maker
No careers mailbox known
Verified live · 2 hours ago 2 days ago Likely open · 63%

Sr Staff Engineer, Design Verification

≈ $27k – $57k per year (Estimated) • Staff+ • 6+ years exp • In office (Hyderabad, India) • Bachelor's Degree • Full-Time • Senior • English
Python
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Management
Agile
Apply
Verified live · 2 hours ago 2 days ago Likely open · 63%

Senior Engineer, Design Verification (MCU)

≈ $19k – $48k per year (Estimated) • Senior • 2+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior • English
Verilog
C++
SystemVerilog
Python
C
Perl
C
Embedded C
DevOps
Cortex
RTOS
Prometheus
Chips/EDA
UVM
Formal Verification
Management
Agile
+5
Apply
Verified live · 2 hours ago 2 days ago Likely open · 63%

Engineer, Design Verification

≈ $15k – $35k per year (Estimated) • Junior • 1+ year exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Middle • English
Python
Verilog
C++
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Management
Agile
Apply

Palo Alto Networks

paloaltonetworks.com
paloaltonetworks.com • HQ: Santa Clara, United States • Endpoint Security • Threat Intelligence • Security Operations • Cloud Security • Network Security • 1001-5000 employees • Est. 2005 • Trust A • Hiring 196, 118 new
HQ: Santa Clara, United States • Endpoint Security • Threat Intelligence • Security Operations • Cloud Security • Network Security • 1001-5000 employees • Est. 2005 • Trust A • Hiring 196, 118 new
Palo Alto Networks is a cybersecurity company headquartered in Santa Clara, California, selling next-generation firewalls and SASE network security, the Prisma and Cortex platforms for cloud security and security operations, and Unit 42 threat intelligence and incident response services. Founded in 2005 by Nir Zuk and listed on Nasdaq, it reports more than 16,000 employees and over 70,000 customers, with major engineering centres in Israel and India and offices across the Americas, Europe and Asia. It hires software engineers, product managers and designers, solutions consultants, account managers, go-to-market strategists and legal and sourcing staff.
No named decision-maker yet.
Careers mailbox is known
Top 25% payVerified live · 2 hours ago Visa sponsor 2 days ago Hiring now · 90%

Senior ASIC Design Verification Engineer

$129k – $209k per year • Equity • Senior • 5+ years exp • In office (Santa Clara, United States) • Full-Time • Senior
Python
C++
SystemVerilog
Perl
AI/ML
LLM
DevOps
Unix
Chips/EDA
UVM
Formal Verification
Apply

Cisco Systems

cisco.com
cisco.com • HQ: San Jose, United States • Endpoint Security • Observability & APM • Unified Communications • Network Security • Network Equipment • 5000+ employees • Est. 1984 • NASDAQ: CSCO • Trust A • Hiring 1287, 21 new
HQ: San Jose, United States • Endpoint Security • Observability & APM • Unified Communications • Network Security • Network Equipment • 5000+ employees • Est. 1984 • NASDAQ: CSCO • Trust A • Hiring 1287, 21 new
Cisco Systems is an American networking company founded in 1984 by Stanford computer scientists Leonard Bosack and Sandy Lerner, and headquartered in San Jose, California. It is the largest supplier of enterprise networking equipment in the world, building the routers, switches, wireless access points and optical systems that carry traffic across corporate networks, service providers and data centres, together with the software and silicon that run them. The company has diversified heavily into security, observability through Splunk, collaboration with Webex, and AI infrastructure networking, and now earns a growing share of revenue from software subscriptions rather than hardware sales.
Mark Patterson · Chief Financial Officer · decision-maker
Chuck Robbins · Chair & Chief Executive Officer · decision-maker
Sandy Lerner · Co-Founder · founder
Leonard Bosack · Co-Founder · founder
No careers mailbox known
Top 25% payVerified live · 1 day ago Visa sponsor 2 days ago Hiring now · 90%

ASIC Design Verification Engineer

$155k – $223k per year • Equity • Senior • 5+ years exp • In office (San Jose, United States) • Bachelor's Degree • Full-Time • Senior
Python
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Synopsys ZeBu
Cadence Palladium
Siemens Veloce
Synopsys HAPS
+2
Apply
Verified live · 1 day ago 3 days ago Hiring now · 90%

ASIC Physical Design Engineer

≈ $40k – $92k per year (Estimated) • Senior • 5+ years exp • Hybrid (Yerevan, Armenia) • Bachelor's Degree • Full-Time • Senior
Python
Perl
Chips/EDA
Formal Verification
Apply
Verified live · 1 day ago 25 days ago Fading · 36%

Leader, ASIC Engineering | RTL, Datapath, Network Processing Unit

≈ $38k – $86k per year (Estimated) • Lead • 13+ years exp • In office (Bengaluru, India) • Full-Time • Staff
Verilog
SystemVerilog
Chips/EDA
Synopsys SpyGlass
Formal Verification
Apply
nxp.com • HQ: Eindhoven, Netherlands • Analog & Power Semiconductors • RF & Wireless Hardware • Processors, MCUs & AI Chips • 5000+ employees • Est. 2006 • NASDAQ: NXPI • Trust B • Hiring 743, 48 new
HQ: Eindhoven, Netherlands • Analog & Power Semiconductors • RF & Wireless Hardware • Processors, MCUs & AI Chips • 5000+ employees • Est. 2006 • NASDAQ: NXPI • Trust B • Hiring 743, 48 new
NXP Semiconductors is a Dutch chipmaker established in 2006 when Philips spun out its semiconductor division, and it concentrates on embedded processing rather than general purpose computing. Its largest market is automotive, where it supplies radar sensors, vehicle networking, battery management and the secure processors behind keyless entry and digital car keys, alongside industrial and internet of things microcontrollers, mobile secure elements and communications infrastructure silicon. Headquartered in Eindhoven and listed on Nasdaq, it is one of the leading suppliers of near field communication and automotive processing chips in the world.
Bill Betz · Chief Financial Officer · decision-maker
Rafael Sotomayor · President and Chief Executive Officer · decision-maker
Kurt Sievers · Former President and Chief Executive Officer
Careers mailbox is known
Verified live · 6 hours ago Visa sponsor 2 days ago Likely open · 63%

Verification Engineer II

≈ $108k – $211k per year (Estimated) • Middle • 3+ years exp • In office (Austin, United States) • PhD • Full-Time • Middle
SystemVerilog
Python
Verilog
VHDL
Perl
AI/ML
LLM
DevOps
Linux
Unix
Chips/EDA
UVM
Formal Verification
+2
Apply
Verified live · 6 hours ago 9 days ago Likely open · 62%

SoC Verification

≈ $19k – $47k per year (Estimated) • Senior • 5+ years exp • In office (Noida, Bengaluru, India) • Full-Time • Senior
Verilog
SystemVerilog
VHDL
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 6 hours ago 9 days ago Likely open · 62%

Senior HW Digital Design Verification Engineer

≈ $59k – $104k per year (Estimated) • Senior • 5+ years exp • In office (Sophia Antipolis, Grenoble, France) • Bachelor's Degree • Full-Time • Senior
Python
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Apply

NVIDIA

nvidia.com
nvidia.com • HQ: Santa Clara, United States • Computer Components • Servers & Data Center Hardware • AI Chips & Accelerators • Processors, MCUs & AI Chips • 5000+ employees • Est. 1993 • Trust A • Hiring 2010, 179 new
HQ: Santa Clara, United States • Computer Components • Servers & Data Center Hardware • AI Chips & Accelerators • Processors, MCUs & AI Chips • 5000+ employees • Est. 1993 • Trust A • Hiring 2010, 179 new
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.
Jensen Huang · Co-Founder, President & Chief Executive Officer · decision-maker
Jay Puri · Executive Vice President, Worldwide Field Operations · decision-maker
Colette Kress · Executive Vice President & Chief Financial Officer · decision-maker
Curtis Priem · Co-Founder & former Chief Technical Officer · founder
Careers mailbox is known
Verified live · 1 hour ago 2 days ago Likely open · 63%

Formal Verification Engineer - New College Grad 2026

$116k – $190k per year • In office (Santa Clara, United States) • Bachelor's Degree • Full-Time
Verilog
SystemVerilog
Chips/EDA
Formal Verification
Apply
Top 25% payVerified live · 1 hour ago 3 days ago Likely open · 63%

Senior ASIC Design Engineer - Memory Subsystem

$136k – $219k per year • Senior • 5+ years exp • In office (Santa Clara, United States) • Bachelor's Degree • Full-Time • Senior
Verilog
VHDL
Chips/EDA
Formal Verification
Apply
Verified live · 1 hour ago 4 days ago Likely open · 63%

Formal Verification Engineer - New College Graduate

≈ $34k – $82k per year (Estimated) • Junior • In office (Budapest, Hungary) • PhD • Full-Time • Junior
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Formal Verification
Apply

Stirling Dynamics

stirling-dynamics.com
stirling-dynamics.com • Bristol • Space & Aerospace • 501-1000 employees • Est. 1987 • Hiring 11, 11 new
Bristol • Space & Aerospace • 501-1000 employees • Est. 1987 • Hiring 11, 11 new
Stirling Dynamics is an advanced aerospace, aviation, eVTOL & marine engineering company that provides high-end engineering products and services.
No named decision-maker yet.
Careers mailbox is known
Verified live · 2 min ago 3 days ago Hiring now · 90%

Principal FPGA Verification Engineer

$76k per year • Lead • Hybrid (Bristol, United Kingdom) • Principal
Python
SystemVerilog
VHDL
DevOps
Azure DevOps
Git
Configuration Management
Bitbucket
Azure
Chips/EDA
Siemens QuestaSim
Siemens ModelSim
UVM
Xilinx Vivado
Formal Verification
Management
Agile
+6
Apply

Persimmons

persimmons.ai
persimmons.ai • HQ: San Jose, United States • Custom Software Development • AI Agents • Likely startup • Trust B • Hiring 6, 2 new
HQ: San Jose, United States • Custom Software Development • AI Agents • Likely startup • Trust B • Hiring 6, 2 new
Meet the team behind Persimmons — the founders, leadership, and advisors building the next generation of AI inference architecture.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 hour ago 3 days ago Long shot · 3%

Silicon Design Engineer

≈ $115k – $260k per year (Estimated) • In office (San Jose, United States) • Full-Time
Verilog
C++
SystemVerilog
AI/ML
AI Agents
Chips/EDA
Formal Verification
Apply
Machines can read this selection · checked 05:36 UTC
Formal Verification Jobs - Remote & On-site
Frequently asked questions
How many Formal Verification jobs are available on Alion?
There are currently 281 active listings from 48 hiring companies on Alion, refreshed daily.
What salary do Formal Verification jobs pay?
The average salary is around $250,998 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.