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.

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

Ubitium

ubitium.com
ubitium.com • HQ: Rülzheim, Germany • AI Chips & Accelerators • Processors, MCUs & AI Chips • 51-200 employees • Est. 1998 • Hiring 3
HQ: Rülzheim, Germany • AI Chips & Accelerators • Processors, MCUs & AI Chips • 51-200 employees • Est. 1998 • Hiring 3
Ubitium is developing the universal RISC-V microprocessor. Solving computing’s complexity problem.. Are you interested to learn more?
No named decision-maker yet.
Careers mailbox is known
Verified live · 6 hours ago 2 months ago Long shot · 20%

Verification Engineer

≈ $49k – $118k per year (Estimated) • Equity • Junior • 2+ years exp • In office (Karlsruhe, Germany) • Relocation • Master's Degree • Full-Time • Junior
Python
SystemVerilog
DevOps
Git
Chips/EDA
Cocotb
Formal Verification
Apply

MediaTek

mediatek.com
mediatek.com • HQ: Hsinchu, Taiwan • AI Chips & Accelerators • RF & Wireless Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1997 • Trust A • Hiring 363, 8 new
HQ: Hsinchu, Taiwan • AI Chips & Accelerators • RF & Wireless Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1997 • Trust A • Hiring 363, 8 new
MediaTek Inc. is a global fabless semiconductor company specializing in system-on-chip (SoC) architectures and digital multimedia processing technologies. The enterprise designs and markets integrated circuits for smartphones, smart home devices, IoT hardware, wireless connectivity solutions, automotive electronics, and custom AI chips for edge and cloud applications. Headquartered in Hsinchu, Taiwan, the organization operates an international network of research, development, and sales offices serving original equipment manufacturers (OEMs) and technology brands worldwide.
No named decision-maker yet.
No careers mailbox known
Verified live · 2 hours ago 2 months ago Likely open · 60%

[2027 Campus Hire] Design Verification Engineer

≈ $37k – $75k per year (Estimated) • Junior • In office (Singapore) • Junior
Verilog
SystemVerilog
SystemC
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 2 hours ago 5 months ago Long shot · 21%

<GPU>GPU Design Verification Engineer

≈ $15k – $38k per year (Estimated) • In office (Hsinchu, Taiwan)
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 2 hours ago 11 months ago Long shot · 15%

Formal Verification

≈ $19k – $47k per year (Estimated) • Senior • 5+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Senior
Python
Verilog
C++
SystemVerilog
VHDL
Perl
SystemC
Chips/EDA
Formal Verification
UVM
Synopsys VC Formal
+2
Apply

Celero Communications

celerocommunications.com
celerocommunications.com • HQ: Laguna Beach, United States • Semiconductor IP & Chip Design Services • Telecom Infrastructure • 201-500 employees • Est. 2024 • Likely startup • Trust B • Hiring 22
HQ: Laguna Beach, United States • Semiconductor IP & Chip Design Services • Telecom Infrastructure • 201-500 employees • Est. 2024 • Likely startup • Trust B • Hiring 22
Celero Communications is a semiconductor start-up building technology for next-generation high-speed communication and connectivity. Its open roles include principal physical design engineers and high-speed analog layout design engineers, with engineering teams in Irvine, San Jose and Ottawa. The company is headquartered in Laguna Beach, California, United States.
Nariman Yousefi · Executive Officer, Director · decision-maker
Oscar Agazzi · Executive Officer, Director · decision-maker
Gavin Baker · Director
James Luo · Director
No careers mailbox known
Verified live · 1 hour ago 2 months ago Long shot · 24%

ASIC Design Engineer - Digital DSP Design & Analog/Mixed-Signal

≈ $89k – $156k per year (Estimated) • Senior • 5+ years exp • In office (Ottawa, Canada) • Bachelor's Degree • Senior
Python
Verilog
SystemVerilog
MATLAB
Chips/EDA
UVM
Formal Verification
Apply

Architect AI

architect.ai
architect.ai • HQ: Palo Alto, United States • Semiconductor IP & Chip Design Services • EDA Software • Likely startup • Trust A • Hiring 11
HQ: Palo Alto, United States • Semiconductor IP & Chip Design Services • EDA Software • Likely startup • Trust A • Hiring 11
Architect AI is a startup applying machine learning to semiconductor and chip design. Its technical staff work on AI for chip design, physical design, formal methods and machine learning research, building tools that automate parts of the integrated circuit design flow. The company runs engineering teams in Palo Alto and Bengaluru, India. The company is headquartered in Palo Alto, California, United States.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 hour ago 2 months ago Long shot · 11%

Member of Technical Staff - Formal Verification

≈ $195k – $399k per year (Estimated) • Equity • Staff+ • In office (Palo Alto, United States) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
AI/ML
Physical AI
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Apply
Verified live · 1 hour ago 2 months ago Long shot · 10%

Member of Technical Staff - Microarchitectural Validation

≈ $188k – $384k per year (Estimated) • Equity • Staff+ • 5+ years exp • In office (Palo Alto, United States) • Bachelor's Degree • Full-Time • Staff
Python
C++
SystemVerilog
AI/ML
Groq
Cerebras
Physical AI
Chips/EDA
UVM
Xilinx Vivado
Formal Verification
Vitis
+2
Apply

SambaNova Systems

sambanova.ai
sambanova.ai • HQ: Palo Alto, United States • LLM & Generative AI • Servers & Data Center Hardware • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2017 • Trust B • Hiring 58, 2 new
HQ: Palo Alto, United States • LLM & Generative AI • Servers & Data Center Hardware • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2017 • Trust B • Hiring 58, 2 new
SambaNova Systems is an American artificial intelligence company founded in 2017 by Stanford professors Kunle Olukotun and Christopher Re together with former Oracle executive Rodrigo Liang. It designs the Reconfigurable Dataflow Unit, a processor whose datapath is configured to match a model's computation graph rather than executing fixed instructions, and pairs it with a three-tier memory system that keeps very large models resident. Headquartered in Palo Alto, California, the company sells complete systems and a hosted cloud service to enterprises and governments that want to run frontier open models on their own terms rather than through a public model provider.
Kunle Olukotun · Co-Founder & Chief Technologist · decision-maker
Rodrigo Liang · Co-Founder & Chief Executive Officer · decision-maker
Christopher Re · Co-Founder · founder
Anthony Lin · Director
Careers mailbox is known
Top 25% payVerified live · 1 hour ago Visa sponsor 2 months ago Long shot · 20%

Principal Design Verification Engineer

$180k – $255k per year • Lead • 10+ years exp • In office (San Jose, United States) • PhD • Full-Time • Principal
Python
C++
SystemVerilog
AI/ML
AI Agents
Machine Learning
Claude
Chips/EDA
UVM
Formal Verification
Apply

Fortaegis

fortaegis.com
fortaegis.com • HQ: Amsterdam, Netherlands • Information Security • Processors, MCUs & AI Chips • Hiring 23
HQ: Amsterdam, Netherlands • Information Security • Processors, MCUs & AI Chips • Hiring 23
Fortaegis is a fast-scaling semiconductor company that builds the full-stack secure compute architecture for the era of AI and quantum computing. It hires hardware engineers, embedded Linux and firmware engineers, sales engineers and researchers at offices in Amsterdam, Bengaluru, London, Munich and Tokyo. The company is based in Amsterdam, Netherlands.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 hour ago 2 months ago Long shot · 18%

Design Verification Engineer (India)

≈ $19k – $48k per year (Estimated) • Senior • 5+ years exp • In office (Bengaluru, India) • Full-Time • Senior
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 hour ago 2 months ago Long shot · 18%

Design Verification Engineer

≈ $69k – $129k per year (Estimated) • Senior • 5+ years exp • In office (Amsterdam, Netherlands) • Full-Time • Senior
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply

Upscale AI

upscaleai.ai
upscaleai.ai • HQ: Bengaluru, India • Photo & Video Editing Software • Generative Image • 201-500 employees • Startup • Trust A • Hiring 21, 1 new
HQ: Bengaluru, India • Photo & Video Editing Software • Generative Image • 201-500 employees • Startup • Trust A • Hiring 21, 1 new
Upscale and enhance any photo or video with AI. Restore old photos; sharpen anime, faces and text; take images to 8K and video to 4K with Topaz models.
No named decision-maker yet.
No careers mailbox known
Top 25% payVerified live · 2 hours ago Visa sponsor 2 months ago Long shot · 18%

ASIC Design - Principal Engineer

$250k – $265k per year • Lead • 12+ years exp • In office • Full-Time • Principal
Python
SystemVerilog
Perl
Chips/EDA
Formal Verification
Apply
Open 94 daysVerified live · 2 hours ago 3 months ago Long shot · 11%

Senior Principal Engineer - Design Verification

≈ $31k – $72k per year (Estimated) • Lead • 17+ years exp • In office (Bengaluru, India) • Full-Time • Principal
SystemVerilog
DevOps
Shift-Left
Cybersecurity
Shift-Left Security
Chips/EDA
UVM
Formal Verification
Synopsys ZeBu
Cadence Palladium
Apply
Open 107 daysTop 25% pay Visa sponsor 3 months ago Long shot · 5%

Design Verification Engineer

$212k – $246k per year • In office • Bachelor's Degree • Full-Time
Python
C++
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply

SpaceX

spacex.com
spacex.com • HQ: Starbase, United States • Satellite Manufacturing • Satellite Communications • Launch Services • 5000+ employees • Est. 2002 • Trust A • Hiring 2463, 139 new
HQ: Starbase, United States • Satellite Manufacturing • Satellite Communications • Launch Services • 5000+ employees • Est. 2002 • Trust A • Hiring 2463, 139 new
SpaceX is an American aerospace manufacturer and launch services provider founded by Elon Musk in 2002 with the goal of making life multiplanetary. It developed the reusable Falcon 9, now by far the most flown orbital rocket in the world, the Dragon capsule that carries NASA astronauts to the International Space Station, and Starship, the fully reusable super-heavy vehicle intended for lunar and Mars missions. The company also operates Starlink, a satellite constellation of thousands of spacecraft providing broadband to consumers, aircraft, ships and militaries, which has become its largest source of revenue.
Elon Musk · Founder, Chief Executive Officer & Chief Engineer · decision-maker
Gwynne Shotwell · President & Chief Operating Officer · decision-maker
Tom Mueller · Founding Employee & former Propulsion Chief
Careers mailbox is known
Verified live · 3 hours ago 2 months ago Fading · 37%

ASIC/SOC DFT Engineer (Silicon Engineering)

≈ $92k – $179k per year (Estimated) • Junior • 1+ year exp • In office (Austin, Palo Alto, United States) • Bachelor's Degree • Junior
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Formal Verification
Apply
Verified live · 3 hours ago 3 months ago Likely open · 45%

Principal DFT Engineer (Silicon Engineering)

≈ $166k – $315k per year (Estimated) • Lead • 10+ years exp • In office (Austin, Irvine, Palo Alto, United States) • Bachelor's Degree • Principal
Python
Perl
Verilog
SystemVerilog
Chips/EDA
Tessent
Formal Verification
Apply

EnCharge AI

enchargeai.com
enchargeai.com • HQ: Bengaluru, India • AI Chips & Accelerators • Processors, MCUs & AI Chips • 51-200 employees • Est. 2022 • Startup • Trust C • Hiring 24
HQ: Bengaluru, India • AI Chips & Accelerators • Processors, MCUs & AI Chips • 51-200 employees • Est. 2022 • Startup • Trust C • Hiring 24
AI Compute from the Edge-to-Cloud for Every Business. Transformative technology for AI computation, breaking records in efficiency and sustainability to enable state-of-the-art models uninhibited by power, space, and cost constraints.
No named decision-maker yet.
Careers mailbox is known
Verified live · 1 hour ago 2 months ago Long shot · 11%

Senior PD Engineer: Synthesis & STA

≈ $27k – $68k per year (Estimated) • Senior • 5+ years exp • Bengaluru • Remote (India) • Senior
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Synopsys PrimeTime
Cadence Genus
Formal Verification
Apply

Swedium Global Services

swediumglobal.com
swediumglobal.com • HQ: Stockholm, Sweden • Hardware • Software • Custom Software Development • Embedded & Electronics Design • Semiconductor IP & Chip Design Services • Hiring 2, 1 new
HQ: Stockholm, Sweden • Hardware • Software • Custom Software Development • Embedded & Electronics Design • Semiconductor IP & Chip Design Services • Hiring 2, 1 new
Swedium Global Services is an engineering R&D and technology consulting firm specializing in semiconductor design, embedded software, and 5G communication systems. Headquartered in Stockholm, Sweden, the company partners with enterprise clients across Europe to deliver comprehensive application development and digital transformation solutions. It also maintains international development centers and offices across several countries, including India, Poland, and Finland.
No named decision-maker yet.
No careers mailbox known
$22k – $29k per year (gross) • Senior • 7+ years exp • In office (Bengaluru, India) • Senior
SystemVerilog
Chips/EDA
UVM
Formal Verification
Apply

Anthropic

anthropic.com
anthropic.com • HQ: San Francisco, United States • Code Intelligence • AI Research Labs • AI Safety & Alignment • Foundation Models • LLM & Generative AI • 1001-5000 employees • Est. 2021 • Trust B • Hiring 648, 40 new
HQ: San Francisco, United States • Code Intelligence • AI Research Labs • AI Safety & Alignment • Foundation Models • LLM & Generative AI • 1001-5000 employees • Est. 2021 • Trust B • Hiring 648, 40 new
Anthropic is an American artificial intelligence safety and research company founded in 2021 by former OpenAI researchers, among them the siblings Dario and Daniela Amodei. It develops the Claude family of large language models and ships them through a consumer assistant, an enterprise developer platform and the Claude Code agentic coding tool, alongside open standards such as the Model Context Protocol. Incorporated as a public benefit corporation and headquartered in San Francisco, the company concentrates on interpretability, alignment and reliability research and counts Google and Amazon among its largest investors.
Jared Kaplan · Co-Founder & Chief Science Officer · decision-maker
Daniela Amodei · Co-Founder & President · decision-maker
Dario Amodei · Co-Founder & Chief Executive Officer · decision-maker
Tom Brown · Co-Founder · founder
No careers mailbox known
Top 25% payVerified live · 2 hours ago 2 months ago Long shot · 15%

Silicon Engineer

$320k – $485k per year • Hybrid (San Francisco, United States) • Bachelor's Degree
Claude
Anthropic
Multimodal AI
Interpretability
Machine Learning
Chips/EDA
Formal Verification
Apply

Neuralink

neuralink.com
neuralink.com • HQ: Fremont, United States • Medical & Healthcare Robotics • Neurotech & Neuromodulation • 1001-5000 employees • Est. 2016 • Trust B • Hiring 73, 2 new
HQ: Fremont, United States • Medical & Healthcare Robotics • Neurotech & Neuromodulation • 1001-5000 employees • Est. 2016 • Trust B • Hiring 73, 2 new
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.
Max Hodak · Co-Founder · decision-maker
DJ Seo · Co-Founder & President · decision-maker
Elon Musk · Co-Founder & Chief Executive Officer · decision-maker
Jared Birchall · Executive Officer, Director · decision-maker
Careers mailbox is known
Top 25% payVerified live · 2 hours ago Visa sponsor 2 months ago Hiring now · 77%

Digital Verification Engineer

$131k – $243k per year • Equity • Middle • 3+ years exp • In office (South San Francisco, United States) • Middle
Python
SystemVerilog
Perl
C++
SystemC
DevOps
Unix
Chips/EDA
UVM
Formal Verification
Apply

EdgeCortix

edgecortix.com
edgecortix.com • HQ: Tokyo, Japan • Edge AI • AI Chips & Accelerators • Processors, MCUs & AI Chips • 51-200 employees • Est. 2019 • Startup • Trust D • Hiring 18
HQ: Tokyo, Japan • Edge AI • AI Chips & Accelerators • Processors, MCUs & AI Chips • 51-200 employees • Est. 2019 • Startup • Trust D • Hiring 18
EdgeCortix is a Tokyo semiconductor company founded in 2019 that designs energy-efficient artificial intelligence accelerators for edge computing. Its dynamic neural accelerator architecture and compiler stack target robotics, aerospace, defence and telecommunications equipment where power and latency are constrained. The company works with Japanese and international partners on chips and system-on-module products.
No named decision-maker yet.
Careers mailbox is known
Verified live · 26 min ago 2 months ago Long shot · 12%

[India] Senior UCIe Verification Engineer

≈ $34k – $78k per year (Estimated) • Equity • Senior • 6+ years exp • In office (Hyderabad, Pakistan) • Full-Time • Senior
Python
SystemVerilog
Perl
AI/ML
Computer Vision
Machine Learning
DevOps
GitLab CI
CI/CD
Jenkins
Git
Chips/EDA
UVM
Formal Verification
+3
Apply
Likely inactiveVerified live · 26 min ago 1 year ago Long shot · 5%

[India] Design Verification Engineer

≈ $35k – $80k per year (Estimated) • Equity • Senior • 6+ years exp • In office (Hyderabad, Pakistan) • Full-Time • Senior
Python
SystemVerilog
AI/ML
Computer Vision
Edge AI
Machine Learning
DevOps
CircleCI
GitLab CI
CI/CD
Jenkins
Chips/EDA
UVM
Formal Verification
+3
Apply
Likely inactiveVerified live · 26 min ago 1 year ago Long shot · 5%

[India] Senior ASIC Implementation Engineer

≈ $36k – $82k per year (Estimated) • Senior • 8+ years exp • In office (Hyderabad, Pakistan) • Bachelor's Degree • Full-Time • Senior
Python
AI/ML
Computer Vision
Machine Learning
DevOps
Unix
Chips/EDA
Synopsys PrimeTime
Formal Verification
Apply

Cohu

cohu.com
cohu.com • HQ: Poway, United States • Test & Measurement Instruments • Semiconductor Equipment • 1001-5000 employees • Est. 1947 • NASDAQ: COHU • Trust B • Hiring 81, 6 new
HQ: Poway, United States • Test & Measurement Instruments • Semiconductor Equipment • 1001-5000 employees • Est. 1947 • NASDAQ: COHU • Trust B • Hiring 81, 6 new
Cohu is an American supplier of test and inspection equipment and services for back-end semiconductor manufacturing, including test handlers, automated test equipment, thermal subsystems, test contactors, vision inspection and MEMS test systems. Its customers are semiconductor makers and outsourced assembly and test providers worldwide, and it also develops AI-based process analytics software. The company is headquartered in Poway, California, United States.
Matthew Mclaughlin · Executive Officer, Director · decision-maker
Jonathan Herlocker · Executive Officer, Director · decision-maker
Steve Schlenker · Director
Paul Maritz · Director
Careers mailbox is known
Verified live · 1 day ago 3 months ago Long shot · 10%

Senior FPGA Engineer

$135k – $150k per year • Equity • Senior • 7+ years exp • In office (Norwood, United States) • PhD • Senior • English: C1
Python
Verilog
C++
SystemVerilog
Chips/EDA
Cadence Xcelium
Siemens ModelSim
Formal Verification
Apply
Open 297 daysVerified live · 1 day ago 10 months ago Long shot · 4%

Senior Design Engineer

≈ $19k – $43k per year (Estimated) • Senior • In office (Taiwan) • Senior
Verilog
SystemVerilog
MATLAB
MATLAB
Simulink
Chips/EDA
UVM
Xilinx Vivado
Vitis
Formal Verification
Apply

AUMOVIO

aumovio.com
aumovio.com • HQ: Frankfurt am Main, Germany • Car Electronics • Automotive Software • Automotive Components • 5000+ employees • Est. 2025 • Trust B • Hiring 412, 37 new
HQ: Frankfurt am Main, Germany • Car Electronics • Automotive Software • Automotive Components • 5000+ employees • Est. 2025 • Trust B • Hiring 412, 37 new
AUMOVIO is a German automotive technology and electronics company that supplies sensor solutions, displays, braking and comfort systems, software and architecture platforms and driver assistance systems, headquartered in Frankfurt am Main. It was spun off from Continental in September 2025 to continue the former Continental Automotive group sector, whose businesses generated 19.6 billion euros in 2024 sales with about 87,000 employees at more than 100 locations. Its openings span apprenticeships and dual study programmes in Germany, internships in Brazil and China, production operators, maintenance technicians, quality engineers, electronics engineers and cybersecurity specialists.
Lars Hartje · Managing Directors · decision-maker
Kris Janssen · Managing Directors · decision-maker
Enno Straten · Managing Directors · decision-maker
Michael Kiener · Managing Directors · decision-maker
Careers mailbox is known
Verified live · 1 hour ago 3 months ago Long shot · 10%

IC Digital Design Engineer

≈ $18k – $46k per year (Estimated) • Senior • 8+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Principal • English
Verilog
SystemVerilog
VHDL
Chips/EDA
UVM
Synopsys SpyGlass
Formal Verification
Apply

Bolt Graphics

bolt.graphics
bolt.graphics • HQ: Moreno Valley, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • Est. 2020 • Startup • Trust A • Hiring 28
HQ: Moreno Valley, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • Est. 2020 • Startup • Trust A • Hiring 28
We completely re-designed the GPU to give architects, gamers, artists, and researchers what they need to change the world. Bring your ideas to life with Zeus.
No named decision-maker yet.
Careers mailbox is known
Verified live · 2 hours ago 3 months ago Fading · 38%

RTL Design / Microarchitecture Engineer - Taipei/Hsinchu

≈ $27k – $61k per year (Estimated) • Senior • 5+ years exp • In office (Taiwan) • Bachelor's Degree • Full-Time • Senior
Verilog
SystemVerilog
Python
Chips/EDA
Synopsys Design Compiler
Synopsys VCS
Cadence Xcelium
Formal Verification
Apply
Verified live · 2 hours ago 4 months ago Long shot · 22%

RTL Design / Microarchitecture Engineer - India

≈ $22k – $55k per year (Estimated) • Senior • 5+ years exp • In office (India) • Bachelor's Degree • Full-Time • Senior
Verilog
SystemVerilog
Python
Chips/EDA
Synopsys Design Compiler
Synopsys VCS
Cadence Xcelium
Formal Verification
Apply
Top 25% payVerified live · 2 hours ago Visa sponsor 6 months ago Long shot · 13%

RTL Design / Microarchitecture Engineer

$160k – $220k per year • Equity • Senior • 5+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Full-Time • Senior
Verilog
SystemVerilog
Python
Chips/EDA
Synopsys Design Compiler
Synopsys VCS
Cadence Xcelium
Formal Verification
Apply

Exegy

exegy.com
exegy.com • HQ: Saint Louis, United States • Online Brokerage & Trading Platforms • Financial Data & Market Intelligence • 201-500 employees • Est. 2003 • Hiring 3
HQ: Saint Louis, United States • Online Brokerage & Trading Platforms • Financial Data & Market Intelligence • 201-500 employees • Est. 2003 • Hiring 3
Exegy is a provider of unified solutions across the capital markets ecosystem. Learn more about our award-winning products.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 hour ago 3 months ago Long shot · 21%

Senior FPGA Designer

≈ $64k – $113k per year (Estimated) • Senior • 5+ years exp • Hybrid (Montreal, Canada) • Bachelor's Degree • Full-Time • Senior • French: C1 • English: C1
Python
Verilog
VHDL
SystemVerilog
DevOps
Jenkins
Git
Linux
Chips/EDA
Xilinx Vivado
Formal Verification
+1
Apply

GreenWave Radios

greenwaveradios.com
greenwaveradios.com • HQ: San Diego, United States • Processors, MCUs & AI Chips • RF & Wireless Hardware • 51-200 employees • Est. 2013 • Trust B • Hiring 7
HQ: San Diego, United States • Processors, MCUs & AI Chips • RF & Wireless Hardware • 51-200 employees • Est. 2013 • Trust B • Hiring 7
InnoPhase Inc., DBA GreenWave™ Radios, is at the forefront of innovation in Open RAN digital radios.
No named decision-maker yet.
No careers mailbox known
Open 93 daysVerified live · 1 hour ago 3 months ago Long shot · 13%

Principal Digital Design Engineer (ASIC/FPGA)

$190k – $225k per year • Equity • Lead • 20+ years exp • In office (Irvine, United States) • Master's Degree • Principal
Python
Verilog
C++
SystemVerilog
Perl
AI/ML
Copilot
Claude Code
AI Agents
LLM
DevOps
Linux
Chips/EDA
Xilinx Vivado
Formal Verification
+4
Apply

ChipAgents

chipagents.ai
chipagents.ai • HQ: Santa Barbara, United States • AI Agents • EDA Software • 51-200 employees • Est. 2023 • Startup • Trust A • Hiring 10
HQ: Santa Barbara, United States • AI Agents • EDA Software • 51-200 employees • Est. 2023 • Startup • Trust A • Hiring 10
ChipAgents builds artificial intelligence agents for chip design and verification. Its systems write testbenches and debug register transfer level code. The company serves semiconductor engineering teams.
Wang Yang · Executive Officer, Director · decision-maker
Daisy Cai · Director
Wen Hsieh · Director
John Bowers · Director
No careers mailbox known
Top 25% payVerified live · 2 hours ago 3 months ago Fading · 35%

Product Line Director, Frontend RCA & Coverage

$180k – $450k per year • Head+ • 7+ years exp • In office (San Jose, United States) • Full-Time • Architect
AI Agents
Chips/EDA
UVM
Formal Verification
Apply

Lumilens

lumilens.com
lumilens.com • HQ: San Jose, United States • Servers & Data Center Hardware • Optical Communications • Optics & Photonic Components • 201-500 employees • Est. 2024 • Trust A • Hiring 138, 1 new
HQ: San Jose, United States • Servers & Data Center Hardware • Optical Communications • Optics & Photonic Components • 201-500 employees • Est. 2024 • Trust A • Hiring 138, 1 new
Lumilens is a photonics startup that designs and manufactures optical interconnects and transceivers that link servers in large AI data center GPU clusters, headquartered in San Jose, California. Led by chief executive and co-founder Ankur Singla with a team drawn from Cisco, Juniper, Meta, Lumentum and Coherent, it launched publicly in 2026 backed by Mayfield, reporting more than 900 million dollars in funding and a 5.5 billion dollar valuation. Its openings are mostly for optical design, test and manufacturing engineers, signal and power integrity engineers, quality and failure analysis engineers and manufacturing site supervisors, including roles in Thailand.
No named decision-maker yet.
No careers mailbox known
Verified live · 23 min ago Visa sponsor 3 months ago Fading · 40%

IC Design Verification Engineer

≈ $116k – $262k per year (Estimated) • In office (San Jose, United States) • Bachelor's Degree • Full-Time
Python
Verilog
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Cadence Palladium
Siemens Veloce
Synopsys HAPS
Cadence Protium
+2
Apply
Verified live · 23 min ago 4 months ago Likely open · 48%

Verification Lead (Lead DV)

≈ $27k – $62k per year (Estimated) • Lead • In office (Bengaluru, India) • Full-Time • Staff
Verilog
SystemVerilog
Chips/EDA
UVM
Formal Verification
Cadence Palladium
Siemens Veloce
Synopsys HAPS
Cadence Protium
Apply
Machines can read this selection · checked 04:17 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.