Synopsys VC Formal Jobs - Remote & On-site

Synopsys VC Formal jobs hiring now at vetted startups and product companies on Alion, updated daily. Average salary around $282,208/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

Eliyan

eliyan.com
eliyan.com • HQ: Vancouver, Canada • RF & Wireless Hardware • Processors, MCUs & AI Chips • Startup • Trust D • Hiring 20
HQ: Vancouver, Canada • RF & Wireless Hardware • Processors, MCUs & AI Chips • Startup • Trust D • Hiring 20
Connected Intelligence at a fraction of total cost of ownership. Without the downsides of advanced packaging, you achieve higher number of cores, compute performance, test coverage, and yield.
No named decision-maker yet.
No careers mailbox known
Likely inactiveVerified live · 2 hours ago 5 months ago Long shot · 7%

DV - Staff (+) Verification Engineer - AMS modeling

≈ $101k – $169k per year (Estimated) • Staff+ • 5+ years exp • In office (Vancouver, Canada) • Bachelor's Degree • Full-Time • Staff
SystemVerilog
Python
Perl
TCL Scripting
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
Likely inactiveVerified live · 2 hours ago 6 months ago Long shot · 6%

DV - Staff Verification Engineer - Serdes

≈ $101k – $169k per year (Estimated) • Staff+ • 4+ years exp • In office (Vancouver, Canada) • Full-Time • Staff
SystemVerilog
Python
Perl
TCL Scripting
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply

MatX

matx.com
matx.com • HQ: Mountain View, United States • AI Chips & Accelerators • 51-200 employees • Est. 2023 • Startup • Trust B • Hiring 42, 1 new
HQ: Mountain View, United States • AI Chips & Accelerators • 51-200 employees • Est. 2023 • Startup • Trust B • Hiring 42, 1 new
MatX is a semiconductor startup based in Mountain View, California that designs high-throughput chips for training and serving large language models for frontier AI labs. Its MatX One chip targets training, reinforcement learning and inference of large dense and mixture-of-experts models, pairing on-chip SRAM for weights with HBM for long context and large scale-up interconnect, and it is backed by Jane Street, Spark Capital, Situational Awareness LP, Triatomic Capital and the fund of Nat Friedman and Daniel Gross. It hires silicon architects, design verification and validation engineers, kernel and system software engineers, hardware engineers and AI tooling staff.
Reiner Pope · Executive Officer, Director · decision-maker
Michial Gunter · Executive Officer, Director · decision-maker
Yasmin Razavi · Director
Careers mailbox is known
Open 151 daysTop 25% pay Visa sponsor 5 months ago Long shot · 4%

Formal Verification Engineer

$160k – $275k per year • Hybrid (Mountain View, United States) • Full-Time
Embeddings
DevOps
Wi-Fi
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply

River AI

river.ai
river.ai • HQ: Palo Alto, United States • AI Development Tools • AI Chips & Accelerators • Foundation Models • 201-500 employees • Est. 2026 • Startup • Trust C • Hiring 18
HQ: Palo Alto, United States • AI Development Tools • AI Chips & Accelerators • Foundation Models • 201-500 employees • Est. 2026 • Startup • Trust C • Hiring 18
River AI is an artificial intelligence company headquartered in Palo Alto, California, and founded in 2026 by xAI co-founder Igor Babuschkin. The company is building what it calls an open AI stack, spanning personal AI models, tooling for developers to train and serve their own models, and a custom system on chip with an onboard machine learning accelerator. It raised 1.1 billion dollars led by General Catalyst with strategic investment from NVIDIA and AMD Ventures.
No named decision-maker yet.
No careers mailbox known
Likely inactiveTop 25% pay Visa sponsorship 5 months ago Long shot · 7%

Design Verification Engineer, Hardware

$200k – $420k per year • Senior • 5+ years exp • In office (Palo Alto, Austin, United States) • Relocation • Bachelor's Degree • Senior
Python
SystemVerilog
Perl
AI/ML
Pre-training
DevOps
CI/CD
Chips/EDA
UVM
Formal Verification
Synopsys ZeBu
Cadence Palladium
Synopsys HAPS
Cadence Protium
Synopsys VC Formal
+4
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 755, 48 new
HQ: Eindhoven, Netherlands • Analog & Power Semiconductors • RF & Wireless Hardware • Processors, MCUs & AI Chips • 5000+ employees • Est. 2006 • NASDAQ: NXPI • Trust B • Hiring 755, 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
Open 209 daysVerified live · 1 day ago 7 months ago Long shot · 6%

Senior Hardware Verification Engineer

≈ $20k – $51k per year (Estimated) • Senior • In office (Hyderabad, India) • Full-Time • Senior
SystemVerilog
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Synopsys ZeBu
Cadence Palladium
Apply

Waymo

waymo.com
waymo.com • HQ: Mountain View, United States • Ride Hailing • Smart Mobility • Autonomous Driving • 5000+ employees • Est. 2009 • Trust B • Hiring 351, 17 new
HQ: Mountain View, United States • Ride Hailing • Smart Mobility • Autonomous Driving • 5000+ employees • Est. 2009 • Trust B • Hiring 351, 17 new
Waymo is an American autonomous driving company that began as the Google self-driving car project in 2009 and became a standalone Alphabet subsidiary in 2016. It operates the largest fully driverless commercial ride-hailing service in the world through the Waymo One app, carrying paying passengers with no human in the vehicle across Phoenix, San Francisco, Los Angeles, Austin and an expanding list of cities. Headquartered in Mountain View, California, the company builds its own sensor suite and the Waymo Driver software stack, integrates them into vehicles from partners such as Jaguar, Zeekr and Hyundai, and also develops autonomous trucking technology.
Dmitri Dolgov · Co-Chief Executive Officer & Chief Technology Officer · decision-maker
Tekedra Mawakana · Co-Chief Executive Officer · decision-maker
Sebastian Thrun · Founder of the Google Self-Driving Car Project · founder
Anthony Levandowski · Founding Engineer
No careers mailbox known
Open 250 daysTop 25% pay Visa sponsor 8 months ago Long shot · 14%

Senior Formal Verification Engineer

$204k – $259k per year • Equity • Senior • 5+ years exp • Hybrid (Mountain View, United States) • Bachelor's Degree • Full-Time • Senior
Python
C++
SystemVerilog
DevOps
CI/CD
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
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, 6 new
HQ: Hsinchu, Taiwan • AI Chips & Accelerators • RF & Wireless Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1997 • Trust A • Hiring 363, 6 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 · 21 min 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

Voltai

voltai.com
voltai.com • HQ: Palo Alto, United States • AI Agents • EDA Software • 51-200 employees • Startup • Trust A • Hiring 24
HQ: Palo Alto, United States • AI Agents • EDA Software • 51-200 employees • Startup • Trust A • Hiring 24
Voltai develops world models and AI agents that learn, evaluate, plan and experiment, starting with understanding and building hardware such as electronics systems and semiconductors. It hires machine learning engineers, full-stack engineers, enterprise sales executives and engineering managers. The company is headquartered in Palo Alto, California, United States.
No named decision-maker yet.
Careers mailbox is known
Verified live · 2 hours ago Visa sponsor 11 months ago Fading · 33%

Formal Verification Engineer

≈ $157k – $288k per year (Estimated) • Senior • 5+ years exp • In office (Palo Alto, United States) • Full-Time • Senior
World Models
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
Machines can read this selection · checked 01:55 UTC
Synopsys VC Formal Jobs - Remote & On-site
Frequently asked questions
How many Synopsys VC Formal jobs are available on Alion?
There are currently 28 active listings from 11 hiring companies on Alion, refreshed daily.
What salary do Synopsys VC Formal jobs pay?
The average salary is around $282,208 per year based on the current listings.
Are remote options available for Synopsys VC Formal 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 Synopsys VC Formal jobs?
Open any listing on Alion and apply directly with the employer through the provided link - no lengthy sign-up required.