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

General Dynamics Mission Systems

gdmissionsystems.com
gdmissionsystems.com • HQ: Fairfax, United States • C4ISR • Defense Manufacturing • National Security • 1001-5000 employees • Est. 2015 • Hiring 483, 50 new
HQ: Fairfax, United States • C4ISR • Defense Manufacturing • National Security • 1001-5000 employees • Est. 2015 • Hiring 483, 50 new
General Dynamics Mission Systems is the business unit of defense contractor General Dynamics that builds C4ISR, secure communications, cybersecurity, electronic warfare and mission systems for land, sea, air, space and cyber operations, with headquarters in Fairfax, Virginia. Formed in 2015 by merging two General Dynamics units, it employs more than 12,000 people at sites such as Pittsfield and Dedham in Massachusetts, Scottsdale in Arizona and Manassas in Virginia. Recruiting centers on ASIC and FPGA, embedded software, electrical, mechanical and systems engineers, test staff, manufacturing technicians and interns.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 hour ago 19 days ago Long shot · 21%

Advanced ASIC FPGA Engineer- (Sign-on Bonus Available)

$123k – $136k per year • Senior • 5+ years exp • Hybrid (Scottsdale, United States) • Bachelor's Degree • TS/SCI • Senior
Python
Verilog
VHDL
Perl
SystemVerilog
Chips/EDA
Siemens QuestaSim
UVM
Xilinx Vivado
Formal Verification
Synplify Pro
Management
Microsoft Office
+3
Apply
Verified live · 1 hour ago 19 days ago Long shot · 21%

Advanced ASIC FPGA Verification Engineer for Crypto and Cross Domain Solutions

$135k – $150k per year • Senior • 5+ years exp • In office (Scottsdale, United States) • Bachelor's Degree • Secret • Senior
Verilog
SystemVerilog
VHDL
Python
Perl
DevOps
GitLab CI
CI/CD
Jenkins
GitHub Actions
Git
Chips/EDA
Siemens QuestaSim
Siemens ModelSim
UVM
Xilinx Vivado
Formal Verification
+7
Apply

SiFive

sifive.com
sifive.com • HQ: Santa Clara, United States • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 1001-5000 employees • Est. 2015 • Trust A • Hiring 112, 3 new
HQ: Santa Clara, United States • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 1001-5000 employees • Est. 2015 • Trust A • Hiring 112, 3 new
SiFive is an American semiconductor company founded in 2015 by the Berkeley researchers who created the RISC-V instruction set, and it designs processor cores that others license and build into their own chips. Its business is an alternative to Arm: because RISC-V is an open standard rather than a proprietary architecture, customers can extend the instruction set for their own workloads without negotiating with the architecture owner, which has drawn interest from companies building custom artificial intelligence and automotive silicon. Headquartered in Santa Clara, it licenses cores to chipmakers, cloud operators and defence customers rather than manufacturing anything itself.
Yunsup Lee · Co-founder · decision-maker
Krste Asanovic · Co-founder and Chief Architect · decision-maker
Shiva Natarajan · Executive Officer · decision-maker
Stefan Dyckerhoff · Director · decision-maker
No careers mailbox known
Verified live · 7 hours ago 20 days ago Hiring now · 90%

Senior Engineer - Design Verification

≈ $19k – $47k per year (Estimated) • Senior • 5+ years exp • In office (Ahmedabad, India) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Python
AI/ML
Machine Learning
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 7 hours ago 24 days ago Hiring now · 90%

Senior CPU Formal Verification Engineer

≈ $22k – $55k per year (Estimated) • Senior • 5+ years exp • In office (Hyderabad, Bengaluru, India) • Full-Time • Senior
Verilog
SystemVerilog
VHDL
Chisel
AI/ML
Machine Learning
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
Verified live · 7 hours ago 26 days ago Hiring now · 87%

Senior Engineer - CPU Verification (ALU, FPU Formal and Datapath Verification)

≈ $23k – $59k per year (Estimated) • Senior • 4+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Senior
Python
C++
SystemVerilog
AI/ML
Machine Learning
Chips/EDA
Formal Verification
Apply

Analog Devices

analog.com
analog.com • HQ: Wilmington, United States • Sensors & Transducers • Analog & Power Semiconductors • 5000+ employees • Est. 1965 • Trust B • Hiring 712, 41 new
HQ: Wilmington, United States • Sensors & Transducers • Analog & Power Semiconductors • 5000+ employees • Est. 1965 • Trust B • Hiring 712, 41 new
Analog Devices designs signal processing, power management and sensing semiconductors. Its data converters and amplifiers are staples of industrial automation, automotive and communications systems. The company expanded significantly through the acquisitions of Linear Technology and Maxim Integrated.
No named decision-maker yet.
No careers mailbox known
Verified live · 1 day ago 20 days ago Likely open · 54%

Senior Manager, Design Verification Engineering

≈ $19k – $47k per year (Estimated) • Senior • 12+ years exp • In office (Bengaluru, India) • Full-Time • Senior
Python
Verilog
C++
SystemVerilog
SystemC
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 day ago 26 days ago Likely open · 50%

Principal Engineer, Design Verification Engineering

≈ $26k – $60k per year (Estimated) • Lead • 12+ years exp • In office (Bengaluru, India) • Full-Time • Principal
Python
Verilog
C++
SystemVerilog
SystemC
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 day ago 26 days ago Likely open · 45%

Digital Verification Engineer

≈ $28k – $82k per year (Estimated) • In office (Beijing, China) • Master's Degree • Full-Time • English
Python
C++
SystemVerilog
Perl
AI/ML
AI Agents
Quantization
Chips/EDA
UVM
Formal Verification
Apply

XCENA

xcena.com
xcena.com • HQ: Seongnam, South Korea • Memory & Storage Chips • Servers & Data Center Hardware • 51-200 employees • Startup • Trust B • Hiring 27
HQ: Seongnam, South Korea • Memory & Storage Chips • Servers & Data Center Hardware • 51-200 employees • Startup • Trust B • Hiring 27
XCENA is a fabless semiconductor company that provides CXL-based memory devices and a full-stack software development kit to expand memory capacity and efficiency in AI infrastructure. It was founded by semiconductor design experts from Samsung Electronics and SK hynix, serves hyperscalers, cloud providers and enterprises, and hires firmware, system software and quality assurance engineers. The company is headquartered in Seongnam, South Korea.
No named decision-maker yet.
Careers mailbox is known
Verified live · 5 min ago 22 days ago Likely open · 46%

SoC ASIC Design Engineer

≈ $62k – $180k per year (Estimated) • In office (Seongnam, South Korea) • PhD • Full-Time
Verilog
SystemVerilog
Chips/EDA
Xilinx Vivado
Formal Verification
Apply

ams OSRAM

ams-osram.com
ams-osram.com • HQ: Premstätten, Austria • LED Lighting & Luminaires • Sensors & Transducers • Optics & Photonic Components • 1001-5000 employees • Est. 1981 • Hiring 226, 38 new
HQ: Premstätten, Austria • LED Lighting & Luminaires • Sensors & Transducers • Optics & Photonic Components • 1001-5000 employees • Est. 1981 • Hiring 226, 38 new
ams OSRAM is an Austrian semiconductor company headquartered in Premstaetten near Graz. It designs optical sensors, emitters and lighting components used in smartphones, cars and medical devices. The group was formed when ams acquired the German lighting company OSRAM and is listed on the SIX Swiss Exchange.
No named decision-maker yet.
No careers mailbox known
Verified live · 7 hours ago 22 days ago Long shot · 24%

Senior Staff Digital Design Engineer

≈ $128k – $231k per year (Estimated) • Staff+ • 5+ years exp • In office (Plano, United States) • Staff • English
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Cadence Virtuoso
Synopsys PrimeTime
Cadence Xcelium
Synopsys SpyGlass
Cadence JasperGold
Formal Verification
OneSpin
UVM
Management
Agile
+5
Apply

LUBIS EDA

lubis-eda.com
lubis-eda.com • HQ: Kaiserslautern, Germany • EDA Software • Semiconductor IP & Chip Design Services • 51-200 employees • Est. 2021 • Startup • Hiring 3
HQ: Kaiserslautern, Germany • EDA Software • Semiconductor IP & Chip Design Services • 51-200 employees • Est. 2021 • Startup • Hiring 3
Formal verification sign-off service for digital IP&SoCs. LUBIS EDA helps teams reduce risk and reach predictable, high-confidence sign-off on critical designs.
No named decision-maker yet.
Careers mailbox is known
Verified live · 1 min ago 24 days ago Likely open · 47%

Manager Formal Verification (m/f/d)

Hybrid • Full-Time
SystemVerilog
Chips/EDA
Cadence JasperGold
Formal Verification
OneSpin
Synopsys VC Formal
Apply
Open 207 daysVerified live · 1 min ago 7 months ago Long shot · 6%

Formal Verification Engineer - Professional Level

Hybrid • Full-Time
Formal Verification
OneSpin
Apply

Powerlatticeinc

powerlatticeinc.com
powerlatticeinc.com • HQ: Chandler, United States • AI Chips & Accelerators • Analog & Power Semiconductors • 51-200 employees • Est. 2023 • Startup • Hiring 8
HQ: Chandler, United States • AI Chips & Accelerators • Analog & Power Semiconductors • 51-200 employees • Est. 2023 • Startup • Hiring 8
Power Delivery Reimagined for AI. Powerlattice is reimagining power delivery for next-generation AI accelerators with the industry's first power delivery chiplet.
Gang Ren · Executive Officer, Director · decision-maker
Sujith Dermal · Executive Officer, Director · decision-maker
Peng Zou · Executive Officer, Director · decision-maker
Pat Gelsinger · Director
Careers mailbox is known
Verified live · 1 hour ago 24 days ago Hiring now · 71%

Senior or Staff Design Verification Engineer

$160k – $190k per year • Equity • Staff+ • 10+ years exp • Hybrid (Chandler, Vancouver, United States) • Bachelor's Degree • Full-Time • Staff
Python
Verilog
SystemVerilog
Perl
DevOps
Linux
Unix
Chips/EDA
Cadence Xcelium
UVM
Formal Verification
+1
Apply
Top 25% payVerified live · 1 hour ago 2 months ago Fading · 27%

Senior Digital Design Engineer

$150k – $200k per year • Equity • Senior • 6+ years exp • Hybrid (Chandler, United States) • Bachelor's Degree • Full-Time • Senior
Verilog
SystemVerilog
Chips/EDA
Formal Verification
Apply

Thales Group

thalesgroup.com
thalesgroup.com • HQ: Paris, France • Electronic Warfare • Satellite Manufacturing • Identity Management • Avionics & Flight Control • C4ISR • 5000+ employees • Est. 1893 • Trust A • Hiring 1495, 31 new
HQ: Paris, France • Electronic Warfare • Satellite Manufacturing • Identity Management • Avionics & Flight Control • C4ISR • 5000+ employees • Est. 1893 • Trust A • Hiring 1495, 31 new
Thales is a French technology group whose lineage runs back to 1893, and it is one of Europe's largest defence and aerospace electronics companies. It builds radar, electronic warfare, sonar and command systems for armed forces, avionics and in-flight entertainment for aircraft, signalling for railways, and satellites through the Thales Alenia Space joint venture with Leonardo. A large cybersecurity and digital identity division, assembled through the Gemalto and Imperva acquisitions, supplies hardware security modules, encryption and the SIM and biometric documents used by banks and governments worldwide.
Pascal Bouchiat · Chief Financial Officer · decision-maker
Patrice Caine · Chairman & Chief Executive Officer · decision-maker
Careers mailbox is known
≈ $51k – $94k per year (Estimated) • Senior • 8+ years exp • In office (Grugliasco, Italy) • Bachelor's Degree • Full-Time • Senior
Python
Verilog
SystemVerilog
VHDL
Chips/EDA
Siemens QuestaSim
Siemens ModelSim
Formal Verification
Apply

Northrop Grumman

northropgrumman.com
northropgrumman.com • HQ: Falls Church, United States • Space Defense • C4ISR • Satellite Manufacturing • Aerospace Manufacturing • Defense Manufacturing • 5000+ employees • Est. 1994 • Trust A • Hiring 3003, 164 new
HQ: Falls Church, United States • Space Defense • C4ISR • Satellite Manufacturing • Aerospace Manufacturing • Defense Manufacturing • 5000+ employees • Est. 1994 • Trust A • Hiring 3003, 164 new
Northrop Grumman is an American defence contractor whose oldest predecessor was founded in 1939, and which took its present form through the 1994 combination of Northrop and Grumman. It builds strategic systems including the B-21 Raider bomber and the Sentinel intercontinental ballistic missile programme, military and civil space systems, radars and electronic warfare equipment, autonomous aircraft, and mission systems and software for the United States armed forces and allied governments. Headquartered in Falls Church, Virginia and listed on the New York Stock Exchange, it earns the large majority of its revenue from the American government and employs close to one hundred thousand people.
Kenneth Crews · Chief Financial Officer · decision-maker
Kathy Warden · Chair, Chief Executive Officer and President · decision-maker
Jack Northrop · Founder · founder
No careers mailbox known
Verified live · 3 hours ago 25 days ago Long shot · 19%

Principal Digital Engineer

$120k – $179k per year • Lead • 5+ years exp • In office (Linthicum Heights, United States) • Relocation • Bachelor's Degree • Full-Time • Secret • Principal
Verilog
SystemVerilog
VHDL
Chips/EDA
Formal Verification
Synopsys Design Compiler
Synopsys PrimeTime
Synopsys VCS
Cadence Xcelium
Siemens Calibre
Siemens ModelSim
Cadence Genus
Cadence Tempus
+4
Apply
Top 25% payVerified live · 3 hours ago 1 month ago Long shot · 14%

FPGA Digital Design Engineer Level 4 (AHT)

$156k – $235k per year • Senior • 8+ years exp • In office (Northridge, United States) • Relocation • Bachelor's Degree • Full-Time • Secret • Staff
Verilog
VHDL
MATLAB
MATLAB
Simulink
DevOps
RTOS
Chips/EDA
Siemens QuestaSim
Xilinx Vivado
Siemens ModelSim
Formal Verification
Management
Agile
+2
Apply

Blue Origin

blueorigin.com
blueorigin.com • HQ: Kent, United States • Space Services • Launch Services • 5000+ employees • Est. 2000 • Trust B • Hiring 1586, 14 new
HQ: Kent, United States • Space Services • Launch Services • 5000+ employees • Est. 2000 • Trust B • Hiring 1586, 14 new
Blue Origin is an American aerospace company founded quietly by Jeff Bezos in 2000, and funded for two decades largely out of his own fortune rather than external investment. It flies the suborbital New Shepard vehicle for space tourism and research payloads, and developed the heavy-lift New Glenn rocket alongside the BE-4 engine, which also powers United Launch Alliance's Vulcan. Headquartered in Kent, Washington, the company is building the Blue Moon lunar lander under a NASA Artemis contract and has moved from a deliberately slow development culture toward far more aggressive schedules under chief executive Dave Limp.
Jeff Bezos · Founder · decision-maker
Dave Limp · Chief Executive Officer · decision-maker
Bob Smith · former Chief Executive Officer
Careers mailbox is known
Top 25% payVerified live · 7 hours ago Visa sponsor 25 days ago Fading · 42%

Senior Avionics FPGA Design & Verification Engineer - TeraWave

$157k – $220k per year • Equity • Senior • 7+ years exp • In office (Seattle, Denver, Los Angeles, Cupertino, United States) • Bachelor's Degree • Full-Time • Senior
Verilog
SystemVerilog
Python
Perl
DevOps
Prometheus
Cortex
Chips/EDA
Siemens QuestaSim
Formal Verification
UVM
+1
Apply
Top 25% payVerified live · 7 hours ago Visa sponsor 1 month ago Fading · 26%

Principal FPGA Designer – TeraWave

$249k – $349k per year • Equity • Lead • 12+ years exp • In office (Seattle, United States) • Bachelor's Degree • Full-Time • Principal
Verilog
SystemVerilog
VHDL
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 7 hours ago 1 month ago Fading · 25%

ASIC Engineering Director

≈ $119k – $230k per year (Estimated) • Head+ • 15+ years exp • In office (Kraków, Poland) • Bachelor's Degree • Full-Time • Architect • Polish: C1 (Optional)
Python
C++
SystemVerilog
MATLAB
Chips/EDA
Formal Verification
Cadence Virtuoso
Apply

Samsung Electronics

samsung.com
samsung.com • HQ: Suwon, South Korea • Televisions • Displays & Panel Technology • Semiconductor Manufacturing • Smartphones • Memory & Storage Chips • 1001-5000 employees • Est. 1969 • Trust B • Hiring 693, 45 new
HQ: Suwon, South Korea • Televisions • Displays & Panel Technology • Semiconductor Manufacturing • Smartphones • Memory & Storage Chips • 1001-5000 employees • Est. 1969 • Trust B • Hiring 693, 45 new
Samsung Electronics is a South Korean company founded in 1969 and the largest business in the Samsung group, operating across two very different halves. Its device solutions division makes memory chips, foundry services and image sensors and is one of the largest semiconductor producers in the world, while its device experience division sells Galaxy smartphones and tablets, televisions, home appliances and networking equipment to consumers. Headquartered in Suwon and listed in Seoul, it is the biggest supplier of DRAM and NAND memory and competes with TSMC in contract chip manufacturing.
Jun Young-hyun · Vice Chairman and Head of Device Solutions · decision-maker
Tae-moon Roh · President, Device eXperience · decision-maker
Young-hyun Jun · Vice Chairman, Device Solutions · decision-maker
Jay Y. Lee · Executive Chairman · decision-maker
No careers mailbox known
Verified live · 6 hours ago Visa sponsor 25 days ago Fading · 42%

Staff Engineer, GPU Design Verification (Subsystems)

$151k – $252k per year • Staff+ • 6+ years exp • In office (Austin, San Jose, United States) • Relocation • Bachelor's Degree • Full-Time • Staff
Python
C++
SystemVerilog
Perl
AI/ML
Ray
Chips/EDA
UVM
Formal Verification
Apply
Top 25% payVerified live · 6 hours ago Visa sponsor 2 months ago Long shot · 22%

Senior GPU Design Verification Engineer (GCDV)

$124k – $208k per year • Senior • 2+ years exp • In office (Austin, San Jose, United States) • Relocation • Bachelor's Degree • Full-Time • Senior
Python
C++
SystemVerilog
Chips/EDA
Formal Verification
Apply
Top 25% payVerified live · 6 hours ago Visa sponsor 2 months ago Long shot · 18%

Senior Staff, IT Storage Engineer

$180k – $297k per year • Staff+ • 11+ years exp • In office (San Jose, Austin, United States) • Relocation • Bachelor's Degree • Full-Time • Staff
Python
DevOps
Rest API
Terraform
Ansible
Azure
AWS
eBPF
HPC
Linux
VMWare
SLURM
Amazon S3
Cybersecurity
Active Directory
LDAP
Chips/EDA
Formal Verification
+7
Apply
ti.com • HQ: Dallas, United States • Semiconductor Manufacturing • Processors, MCUs & AI Chips • Analog & Power Semiconductors • 1001-5000 employees • Est. 1930 • NASDAQ: TXN • Trust B • Hiring 488, 56 new
HQ: Dallas, United States • Semiconductor Manufacturing • Processors, MCUs & AI Chips • Analog & Power Semiconductors • 1001-5000 employees • Est. 1930 • NASDAQ: TXN • Trust B • Hiring 488, 56 new
Headquartered in Dallas, Texas, Texas Instruments is a global semiconductor design and manufacturing company that develops analog chips and embedded processors. The firm serves tens of thousands of customers worldwide, helping them create advanced electronics for industrial, automotive, personal electronics, and enterprise markets. Through continuous innovation in semiconductor technology, the corporation plays a pivotal role in shaping modern electronic systems and power management solutions.
No named decision-maker yet.
No careers mailbox known
Verified live · 3 hours ago 26 days ago Long shot · 13%

Senior Design Verification Engineer

≈ $19k – $47k per year (Estimated) • Senior • 5+ years exp • In office (Bengaluru, India) • Master's Degree • Senior
SystemVerilog
VHDL
Chips/EDA
UVM
Formal Verification
Apply
Open 148 daysVerified live · 3 hours ago 5 months ago Long shot · 5%

Design Verification Engineer

≈ $17k – $43k per year (Estimated) • Senior • 5+ years exp • In office (India) • Master's Degree • Senior
Python
Verilog
SystemVerilog
VHDL
Perl
Chips/EDA
Cadence Xcelium
UVM
Formal Verification
Cadence vManager
+1
Apply
Open 149 daysVerified live · 3 hours ago 5 months ago Long shot · 4%

Design Verification Engineer - APS

≈ $107k – $195k per year (Estimated) • Senior • 5+ years exp • In office (Dallas, United States) • Senior
Python
Verilog
SystemVerilog
DevOps
Unix
Chips/EDA
UVM
Formal Verification
Apply

AFRY

afry.com
afry.com • HQ: Stockholm, Sweden • Management Consulting • Engineering Services • 5000+ employees • Est. 2019 • Trust B • Hiring 327, 35 new
HQ: Stockholm, Sweden • Management Consulting • Engineering Services • 5000+ employees • Est. 2019 • Trust B • Hiring 327, 35 new
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.
No named decision-maker yet.
Careers mailbox is known
Verified live · 1 hour ago 27 days ago Fading · 39%

UVM Verification specialist

≈ $16k – $41k per year (Estimated) • Senior • 7+ years exp • Hybrid (Pune, India) • Full-Time • Senior • English
Python
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Apply
Open 176 daysVerified live · 1 hour ago 6 months ago Long shot · 6%

UVM Verification specialist for ASIC and/or FPGA development

≈ $16k – $41k per year (Estimated) • Senior • 5+ years exp • Hybrid (Pune, India) • Full-Time • Senior • English
Python
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Apply

Tessolve

tessolve.com
tessolve.com • HQ: Bengaluru, India • Embedded & Electronics Design • Semiconductor IP & Chip Design Services • 1001-5000 employees • Hiring 8
HQ: Bengaluru, India • Embedded & Electronics Design • Semiconductor IP & Chip Design Services • 1001-5000 employees • Hiring 8
Tessolve is a semiconductor engineering services company offering pre-silicon and post-silicon expertise, from silicon bring-up and testing labs to a turnkey ASIC solution from design to packaged parts. It hires RTL design, validation, DFT and software engineers and employs more than 3,200 people worldwide. The company is headquartered in Bengaluru, India.
No named decision-maker yet.
No careers mailbox known
27 days ago Likely open · 51%

Manager

≈ $28k – $59k per year (Estimated) • Staff+ • 10+ years exp • In office (Bengaluru, India) • Staff
Verilog
SystemVerilog
Chips/EDA
Cadence Xcelium
Siemens ModelSim
Formal Verification
Apply

Jump Trading

jumptrading.com
jumptrading.com • HQ: Chicago, United States • Hedge Funds & Alternative Investments • 1001-5000 employees • Est. 1999 • Trust B • Hiring 92, 2 new
HQ: Chicago, United States • Hedge Funds & Alternative Investments • 1001-5000 employees • Est. 1999 • Trust B • Hiring 92, 2 new
Jump Trading is an American proprietary trading firm founded in Chicago in 1999 that trades its own capital across futures, equities, options, fixed income and cryptocurrency using automated strategies. It is unusually secretive even by the standards of its industry, publishes almost nothing, and competes on latency, research quality and infrastructure it builds itself, including its own microwave and fibre network routes. Headquartered in Chicago with offices in London, Singapore, Shanghai and elsewhere, it employs researchers, quantitative developers and low-latency engineers, and it also operates the crypto arm Jump Crypto.
No named decision-maker yet.
Careers mailbox is known
Verified live · 3 hours ago Visa sponsor 30 days ago Hiring now · 89%

Verification Engineer | Core Engineering

≈ $77k – $180k per year (Estimated) • Middle • 3+ years exp • In office (Bristol, United Kingdom) • Middle
Python
C++
SystemVerilog
Assembly
Chips/EDA
UVM
Cocotb
Formal Verification
Apply

Fidus

fidus.com
fidus.com • HQ: Ottawa, Canada • Semiconductor IP & Chip Design Services • Embedded & Electronics Design • 51-200 employees • Startup • Hiring 11, 2 new
HQ: Ottawa, Canada • Semiconductor IP & Chip Design Services • Embedded & Electronics Design • 51-200 employees • Startup • Hiring 11, 2 new
Custom embedded systems design: FPGA, hardware, signal/power integrity and embedded software. First-Time-Right, from an AMD Premier Partner.
No named decision-maker yet.
No careers mailbox known
Verified live · 2 hours ago 30 days ago Likely open · 58%

Verification Designer

≈ $106k – $241k per year (Estimated) • Austin • Remote (United States) • Full-Time
Python
SystemVerilog
Perl
Chips/EDA
UVM
Cocotb
Formal Verification
pyuvm
Apply

TYLsemi

tylsemi.ai
tylsemi.ai • HQ: San Jose, United States • AI Chips & Accelerators • Semiconductor IP & Chip Design Services • Startup • Trust A • Hiring 52
HQ: San Jose, United States • AI Chips & Accelerators • Semiconductor IP & Chip Design Services • Startup • Trust A • Hiring 52
TYLsemi is a chiplet-first semiconductor company that develops production-ready chiplets and infrastructure IP for connectivity, power delivery and interconnect in AI and high-performance computing systems, with corporate headquarters in San Jose, California. Founded by chief executive Mohit Gupta, a former executive vice president at Alphawave Semi, it has raised 43 million dollars in an early-stage funding round and has its largest engineering team in Bengaluru. It hires SoC RTL design, design verification, physical design and timing engineers, SERDES firmware and applications engineers, DFT, CAD and post-silicon validation specialists and technical program managers.
No named decision-maker yet.
Careers mailbox is known
Verified live · 2 hours ago 1 month ago Hiring now · 88%

Lead SoC Design Verification (DV) Engineer

≈ $161k – $306k per year (Estimated) • Equity • Lead • 12+ years exp • In office (San Jose, United States) • Bachelor's Degree • Full-Time • Staff
SystemVerilog
AI/ML
OpenAI
DevOps
HPC
CI/CD
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 2 hours ago 6 months ago Fading · 30%

Principal RTL Designer (SoC – AI / HPC / Networking)

≈ $25k – $57k per year (Estimated) • Lead • 12+ years exp • Remote (India) • Bachelor's Degree • Full-Time • Principal
Python
Verilog
SystemVerilog
AI/ML
OpenAI
DevOps
HPC
Chips/EDA
Formal Verification
Apply

Micron Technology

micron.com
micron.com • HQ: Boise, United States • Enterprise Storage Systems • Semiconductor Manufacturing • Memory & Storage Chips • 5000+ employees • Est. 1978 • NASDAQ: MU • Trust B • Hiring 2797, 151 new
HQ: Boise, United States • Enterprise Storage Systems • Semiconductor Manufacturing • Memory & Storage Chips • 5000+ employees • Est. 1978 • NASDAQ: MU • Trust B • Hiring 2797, 151 new
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.
Mark Murphy · Executive Vice President & Chief Financial Officer · decision-maker
Sanjay Mehrotra · Chairman, President & Chief Executive Officer · decision-maker
Joe Parkinson · Co-Founder & former Chief Executive Officer · founder
Ward Parkinson · Co-Founder · founder
Careers mailbox is known
Top 25% payVerified live · 1 day ago Visa sponsor 1 month ago Fading · 35%

New College Grad - Engineer, ASIC Digital Design

$86k – $146k per year • Junior • In office (Minneapolis, United States) • Bachelor's Degree • Full-Time
Python
SystemVerilog
AI/ML
Copilot
Claude
DevOps
Linux
Chips/EDA
Formal Verification
Apply
Verified live · 1 day ago Visa sponsor 1 month ago Fading · 32%

New College Grad - HBM SoC Design Engineer/Architect

≈ $168k – $304k per year (Estimated) • Staff+ • In office (Folsom, Richardson, United States) • Bachelor's Degree • Full-Time • Architect
Verilog
SystemVerilog
VHDL
AI/ML
AI Agents
Chips/EDA
UVM
Formal Verification
Apply
Verified live · 1 day ago 1 month ago Fading · 28%

Principal Engineer HBM Design Verification

≈ $29k – $65k per year (Estimated) • Lead • 12+ years exp • In office (Hyderabad, India) • Full-Time • Principal
SystemVerilog
Python
TCL Scripting
AI/ML
Copilot
Claude
Chips/EDA
UVM
Formal Verification
Apply

Neurophos

neurophos.com
neurophos.com • HQ: Austin, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • 201-500 employees • Est. 2020 • Startup • Hiring 13
HQ: Austin, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • 201-500 employees • Est. 2020 • Startup • Hiring 13
Neurophos builds photonic AI processors — the T100 OPU delivers exaflop-scale inference at a fraction of GPU power.
Preston Woo · Executive Officer · decision-maker
Hod Finkelstein · Executive Officer · decision-maker
Patrick Bowen · Executive Officer, Director · decision-maker
Nathan Kundtz · Director
Careers mailbox is known
Verified live · 2 hours ago Visa sponsor 1 month ago Hiring now · 77%

Design Verification Lead

≈ $171k – $306k per year (Estimated) • Equity • Lead • 8+ years exp • In office (Austin, United States) • Full-Time • Staff
SystemVerilog
DevOps
CI/CD
Chips/EDA
UVM
Formal Verification
Cadence Palladium
Apply

Sykatiya Technology

sykatiya.com
sykatiya.com • HQ: Bengaluru, India • Software Testing & QA • Semiconductor IP & Chip Design Services • Est. 2012 • Hiring 6
HQ: Bengaluru, India • Software Testing & QA • Semiconductor IP & Chip Design Services • Est. 2012 • Hiring 6
Sykatiya Technology is an Indian engineering services company focused on the semiconductor industry, with work in design for test, verification, physical design and static timing analysis. It also hires UI test automation engineers. The company is based in Bengaluru, India, with a team in Hyderabad.
No named decision-maker yet.
Careers mailbox is known
1 month ago Long shot · 22%

Verification Engineer - ASIC/UVM

$5.3k – $48k per year (gross) • Middle • 3+ years exp • In office (Bengaluru, Hyderabad, India)
SystemVerilog
AI/ML
Computer Vision
Chips/EDA
UVM
Formal Verification
Apply
Machines can read this selection · checked 03:19 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.