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.

You searched for “Synopsys VC Formal Jobs - Remote & On-site”, so this list shows: technical roles only · the stack names Synopsys VC Formal · 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

Microchip Technology

microchip.com
microchip.com • HQ: Chandler, United States • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 201-500 employees • Est. 1987 • Hiring 192, 53 new
HQ: Chandler, United States • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 201-500 employees • Est. 1987 • Hiring 192, 53 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 · 16 min ago 2 days 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

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 1292, 22 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 1292, 22 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 · 2 hours ago Visa sponsor 3 days ago Hiring now · 88%

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
≈ $37k – $84k per year (Estimated) • Lead • 10+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Staff
Python
Verilog
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Synopsys ZeBu
Cadence Palladium
Siemens Veloce
Synopsys HAPS
+3
Apply
Top 25% payVerified live · 2 hours ago Visa sponsor 2 months ago Long shot · 12%

ASIC Design Verification Engineer, Technical Leader

$187k – $268k per year • Equity • Lead • 8+ years exp • In office (San Jose, United States) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
Perl
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Siemens Veloce
Synopsys HAPS
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 442, 61 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 442, 61 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 · 1 hour ago 5 days ago Hiring now · 84%

ASIC Digital Design, Sr Staff Engineer 18870

≈ $106k – $221k per year (Estimated) • Staff+ • 8+ years exp • In office (Dublin, Ireland) • Bachelor's Degree • Staff
Python
SystemVerilog
Perl
AI/ML
Copilot
Cursor
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Apply
Verified live · 1 hour ago Visa sponsor 21 days ago Fading · 38%

Front-End ASIC Digital Design, Sr. Staff Engineer -18423

≈ $149k – $270k per year (Estimated) • Staff+ • 8+ years exp • In office (Austin, United States) • Bachelor's Degree • Staff
Python
Verilog
SystemVerilog
Perl
DevOps
HPC
Linux
Unix
Chips/EDA
Synopsys Design Compiler
Synopsys PrimeTime
Synopsys Fusion Compiler
Synopsys SpyGlass
Synopsys VC Formal
Synopsys PrimePower
+5
Apply
Verified live · 1 hour ago 21 days ago Fading · 37%

Applications Engineering, Principal Engineer - 18888

≈ $57k – $170k per year (Estimated) • Lead • 8+ years exp • In office (Kista, Sweden) • Bachelor's Degree • Principal • English
Synopsys Verdi
Synopsys VC Formal
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 • Trust B • Hiring 1009, 111 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 • Trust B • Hiring 1009, 111 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 · 17 min ago 12 days ago Fading · 32%

ASIC Engineer, Formal Verification

≈ $22k – $54k per year (Estimated) • Junior • 2+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Junior
Python
SystemVerilog
Perl
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
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, 152 new
HQ: Boise, United States • Enterprise Storage Systems • Semiconductor Manufacturing • Memory & Storage Chips • 5000+ employees • Est. 1978 • NASDAQ: MU • Trust B • Hiring 2797, 152 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
Verified live · 5 hours ago Visa sponsor 23 days ago Likely open · 46%

Principal ASIC Design Engineer

≈ $160k – $303k per year (Estimated) • Lead • 7+ years exp • In office (Boise, Folsom, Richardson, San Jose, United States) • Bachelor's Degree • Full-Time • Principal
SystemVerilog
Chips/EDA
Synopsys Design Compiler
Cadence Innovus
Synopsys PrimeTime
Cadence Xcelium
Synopsys SpyGlass
Cadence JasperGold
Cadence Genus
Synopsys Verdi
Synopsys VC Formal
+2
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 · 3 hours ago 23 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
Top 25% payVerified live · 3 hours ago Visa sponsor 26 days ago Hiring now · 89%

Distinguished Formal Verification Architect

$280k – $342k per year • Lead • In office (Santa Clara, Austin, Boston, United States) • Full-Time • Architect
Haskell
Scala
OCaml
AI/ML
Machine Learning
Chips/EDA
Cadence JasperGold
Synopsys VC Formal
Apply
Verified live · 3 hours ago 1 month ago Hiring now · 78%

Staff - Formal Verification Engineer

≈ $36k – $75k per year (Estimated) • Staff+ • 8+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Staff
Verilog
SystemVerilog
VHDL
Chisel
AI/ML
Machine Learning
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
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 1841, 44 new
HQ: San Diego, United States • Autonomous Driving • Car Electronics • RF & Wireless Hardware • Processors, MCUs & AI Chips • 5000+ employees • Est. 1985 • Trust B • Hiring 1841, 44 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 · 2 hours ago 23 days ago Hiring now · 84%

NOC DV Sr Lead Engineer

≈ $23k – $61k per year (Estimated) • Lead • 3+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Staff
SystemVerilog
Python
C++
Perl
SystemC
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Synopsys Certitude
QA
Rest-Assured
+2
Apply
Verified live · 2 hours ago 23 days ago Hiring now · 85%

NOC DV Sr Engineer

≈ $22k – $53k per year (Estimated) • Senior • 3+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Senior
SystemVerilog
Python
C++
Perl
SystemC
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Synopsys Certitude
QA
Rest-Assured
+2
Apply
Verified live · 2 hours ago 23 days ago Hiring now · 84%

NOC DV Staff Engineer

≈ $27k – $63k per year (Estimated) • Staff+ • 4+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Staff
SystemVerilog
Python
C++
Perl
SystemC
Chips/EDA
UVM
Formal Verification
Synopsys VC Formal
Synopsys Certitude
QA
Rest-Assured
+2
Apply

Intel

intel.com
intel.com • HQ: Santa Clara, United States • Computer Components • AI Chips & Accelerators • Semiconductor Manufacturing • Processors, MCUs & AI Chips • 5000+ employees • Est. 1968 • NASDAQ: INTC • Trust B • Hiring 611, 1 new
HQ: Santa Clara, United States • Computer Components • AI Chips & Accelerators • Semiconductor Manufacturing • Processors, MCUs & AI Chips • 5000+ employees • Est. 1968 • NASDAQ: INTC • Trust B • Hiring 611, 1 new
Intel is an American semiconductor company founded in 1968 by Robert Noyce and Gordon Moore and headquartered in Santa Clara, California. It created the x86 instruction set that still underpins most personal computers and servers, and designs and manufactures processors, chipsets, discrete graphics, networking silicon and AI accelerators. Unlike most of its competitors the company owns its fabrication plants, and it is investing heavily in Intel Foundry to manufacture chips for external customers while rebuilding its process technology leadership.
Christoph Schell · Executive Officer · decision-maker
Michelle Holthaus · Executive Officer · decision-maker
April Miller Boise · Executive Officer · decision-maker
Steven Rodgers · Executive Officer · decision-maker
No careers mailbox known
Verified live · 1 day ago 23 days ago Fading · 38%

CPU Pre-Si Verification Engineer

≈ $48k – $112k per year (Estimated) • Middle • 3+ years exp • Hybrid (Zapopan, Mexico) • Bachelor's Degree • Full-Time • Middle • English: C1
Python
Verilog
Ruby
C++
SystemVerilog
VHDL
Perl
Assembly
DevOps
Linux
Unix
Chips/EDA
UVM
Formal Verification
Cadence JasperGold
Synopsys VC Formal
+6
Apply
Open 93 daysVerified live · 1 day ago Visa sponsor 3 months ago Long shot · 10%

Senior Design Verification Engineer

≈ $164k – $299k per year (Estimated) • Senior • 10+ years exp • Hybrid (Santa Clara, United States) • Bachelor's Degree • Full-Time • Senior
Python
C++
SystemVerilog
Chips/EDA
Formal Verification
UVM
Cadence JasperGold
Synopsys VC Formal
Apply
Open 239 daysVerified live · 1 day ago Visa sponsor 8 months ago Long shot · 4%

Senior Formal Verification Engineer – AI SoC Development

≈ $148k – $270k per year (Estimated) • Senior • 10+ years exp • Hybrid (Folsom, Hillsboro, Santa Clara, Austin, United States) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
Python
Verilog
Perl
Chips/EDA
Formal Verification
UVM
Cadence JasperGold
Synopsys VC Formal
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 day 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

NUVACORE

nuvacore.ai
nuvacore.ai • HQ: Austin, United States • AI Agents • Data Centers & Colocation • 201-500 employees • Est. 2024 • Startup • Hiring 18, 2 new
HQ: Austin, United States • AI Agents • Data Centers & Colocation • 201-500 employees • Est. 2024 • Startup • Hiring 18, 2 new
NUVACORE is designing a new general-purpose CPU core for the sustained, intensive demands of AI infrastructure and agentic computing, not the workloads of the past.
No named decision-maker yet.
Careers mailbox is known
Top 25% payVerified live · 1 hour ago 28 days ago Hiring now · 74%

Formal Verification Engineer

$140k – $250k per year • Staff+ • 15+ years exp • Hybrid (Austin, Santa Clara, United States, Bengaluru, India, Markham, Canada) • Full-Time • Architect
Python
Verilog
SystemVerilog
Perl
Chips/EDA
Formal Verification
Cadence JasperGold
Synopsys VC Formal
Apply
hpe.com • HQ: Spring, United States • Cloud Platforms (IaaS & PaaS) • High-Performance Computing • Network Equipment • Enterprise Storage Systems • Servers & Data Center Hardware • 5000+ employees • Est. 2015 • Trust B • Hiring 1503, 145 new
HQ: Spring, United States • Cloud Platforms (IaaS & PaaS) • High-Performance Computing • Network Equipment • Enterprise Storage Systems • Servers & Data Center Hardware • 5000+ employees • Est. 2015 • Trust B • Hiring 1503, 145 new
Hewlett Packard Enterprise is a global technology company specializing in edge-to-cloud solutions, enterprise IT infrastructure, and intelligent software services. Formed in 2015 following the division of Hewlett-Packard Company, the organization offers servers, storage, high-performance computing, and networking capabilities through flexible consumption models like its GreenLake platform. Headquartered in Spring, Texas, the enterprise operates internationally to help commercial and public-sector clients secure, manage, and modernize their digital infrastructure.
No named decision-maker yet.
No careers mailbox known
Top 25% payVerified live · 3 hours ago Visa sponsor 1 month ago Long shot · 18%

Senior Design Verification Engineer

$154k – $311k per year • Senior • 5+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Full-Time • Senior
Python
SystemVerilog
Perl
AI/ML
AI Agents
DevOps
CI/CD
TCP/IP
Chips/EDA
UVM
Cadence Palladium
Siemens Veloce
Cadence JasperGold
Formal Verification
Synopsys VC Formal
+4
Apply
Top 25% payVerified live · 3 hours ago Visa sponsor 1 month ago Long shot · 18%

Senior Methodologist for AIML Enhanced Design/Verification

$174k – $353k per year • Senior • 5+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Full-Time • Senior
SystemVerilog
AI/ML
AI Agents
Chips/EDA
Synopsys VCS
Cadence Xcelium
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Cadence Palladium
Siemens Veloce
Cadence Protium
+3
Apply
cadence.com • HQ: San Jose, United States • Semiconductor IP & Chip Design Services • EDA Software • 5000+ employees • Est. 1988 • NASDAQ: CDNS • Trust B • Hiring 455, 46 new
HQ: San Jose, United States • Semiconductor IP & Chip Design Services • EDA Software • 5000+ employees • Est. 1988 • NASDAQ: CDNS • Trust B • Hiring 455, 46 new
Cadence Design Systems is an American software company founded in 1988 that supplies the electronic design automation tools engineers use to design and verify integrated circuits. Its products cover digital synthesis and place-and-route, custom and analogue design, circuit simulation with the Spectre and Virtuoso families, functional verification, and increasingly system-level analysis for packaging, thermal behaviour and computational fluid dynamics. Headquartered in San Jose and listed on Nasdaq, it also licenses design intellectual property such as processor and interface blocks, and competes primarily with Synopsys and Siemens EDA.
John Wall · Chief Financial Officer · decision-maker
Anirudh Devgan · President and Chief Executive Officer · decision-maker
No careers mailbox known
Verified live · 4 hours ago 1 month ago Likely open · 50%

Lead Verification Engineer

≈ $31k – $70k per year (Estimated) • Lead • 6+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Full-Time • Staff
Python
SystemVerilog
TCL Scripting
AI/ML
Fine-tuning
LLM
AI Agents
Chips/EDA
Synopsys VCS
Cadence Xcelium
Siemens QuestaSim
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
+5
Apply

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 2872, 692 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 2872, 692 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 · 3 hours ago 1 month ago Fading · 29%

ASIC Formal Verification Engineer, Google Cloud

≈ $143k – $262k per year (Estimated) • Senior • 6+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Senior
Verilog
SystemVerilog
AI/ML
Vertex AI
TPU
Edge AI
DevOps
GCP
Chips/EDA
Formal Verification
Synopsys VC Formal
Apply
Verified live · 3 hours ago 2 months ago Long shot · 12%

Senior SoC Formal Verification Engineer, Google Cloud

≈ $99k – $226k per year (Estimated) • Senior • 10+ years exp • In office (Tel Aviv, Israel) • Bachelor's Degree • Senior
SystemVerilog
Python
DevOps
GCP
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
Open 136 daysVerified live · 3 hours ago 4 months ago Long shot · 5%

ASIC Formal Verification Engineer, TPU Compute

≈ $174k – $314k per year (Estimated) • Staff+ • 10+ years exp • In office (Sunnyvale, United States) • Bachelor's Degree • Staff
SystemVerilog
AI/ML
Vertex AI
TPU
Edge AI
DevOps
GCP
CI/CD
Chips/EDA
Formal Verification
Synopsys VC Formal
Apply

Semtech

semtech.com
semtech.com • HQ: Camarillo, United States • RF & Wireless Hardware • Analog & Power Semiconductors • 1001-5000 employees • Est. 1960 • NASDAQ: SMTC • Trust B • Hiring 107, 4 new
HQ: Camarillo, United States • RF & Wireless Hardware • Analog & Power Semiconductors • 1001-5000 employees • Est. 1960 • NASDAQ: SMTC • Trust B • Hiring 107, 4 new
Semtech designs analog and mixed-signal semiconductors for infrastructure and internet of things. Its LoRa radio technology underpins many long-range low-power sensor networks. The company also supplies signal integrity chips for data centres.
No named decision-maker yet.
No careers mailbox known
Top 25% payVerified live · 1 day ago Visa sponsor 1 month ago Fading · 27%

Sr. Design Verification Engineer - Digital

$130k – $200k per year • Senior • 8+ years exp • Hybrid (San Diego, United States) • Bachelor's Degree • Full-Time • Senior
Python
Verilog
SystemVerilog
DevOps
CI/CD
Chips/EDA
Synopsys VCS
Cadence Xcelium
Synopsys SpyGlass
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
+3
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 397, 31 new
HQ: Cambridge, United Kingdom • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 1001-5000 employees • Est. 1990 • Trust A • Hiring 397, 31 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 · 6 min ago 1 month ago Fading · 40%

Senior Verification Engineer (IP verification)

≈ $64k – $110k per year (Estimated) • Senior • Hybrid (Bristol, United Kingdom) • Relocation • Senior
Python
Verilog
C++
SystemVerilog
Assembly
Perl
AI/ML
Machine Learning
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
+3
Apply
Verified live · 6 min ago 2 months ago Long shot · 17%

Senior SoC Formal verification Engineer

≈ $19k – $48k per year (Estimated) • Senior • 4+ years exp • Hybrid (Bengaluru, India) • Bachelor's Degree • Senior
Verilog
SystemVerilog
Python
Perl
Chips/EDA
Formal Verification
Cadence JasperGold
Synopsys VC Formal
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 B • Hiring 2218, 191 new
HQ: Santa Clara, United States • Computer Components • Servers & Data Center Hardware • AI Chips & Accelerators • Processors, MCUs & AI Chips • 5000+ employees • Est. 1993 • Trust B • Hiring 2218, 191 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 · 2 hours ago 2 months ago Long shot · 20%

Formal Verification Engineer

≈ $46k – $106k per year (Estimated) • Middle • 3+ years exp • In office (Shanghai, China) • Bachelor's Degree • Full-Time • Middle • English: C1
Python
Perl
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
Open 100 daysVerified live · 2 hours ago 3 months ago Long shot · 6%

Formal Verification Engineer - New College Grad 2026

$100k – $167k per year • In office (Santa Clara, United States) • PhD • Full-Time
Python
Verilog
C++
SystemVerilog
Perl
Chips/EDA
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Apply
Open 103 daysTop 25% pay 3 months ago Long shot · 11%

Senior Formal Verification Engineer - LPU

$196k – $311k per year • Senior • United States • Remote (United States) • PhD • Full-Time • Senior
Python
SystemVerilog
Chips/EDA
Formal Verification
Synopsys VC Formal
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

Astera Labs

asteralabs.com
asteralabs.com • HQ: San Jose, United States • Servers & Data Center Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2017 • NASDAQ: ALAB • Trust A • Hiring 160, 12 new
HQ: San Jose, United States • Servers & Data Center Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2017 • NASDAQ: ALAB • Trust A • Hiring 160, 12 new
Astera Labs is a fabless semiconductor company specializing in advanced connectivity solutions for artificial intelligence and cloud infrastructure. Headquartered in San Jose, California, the firm designs integrated circuits, modules, and software that eliminate data bottlenecks between processors, memory, and network devices. Through its intelligent connectivity platform, it enables hyperscalers and data center operators to build scalable, high-performance computing systems.
Jitendra Mohan · Executive Officer, Director · decision-maker
Gajendra Akkasalamakki · Executive Officer, Director · decision-maker
Stefan Dyckerhoff · Director
Manuel Alba · Director
Careers mailbox is known
Verified live · 4 hours ago 2 months ago Likely open · 47%

Tech Lead, Formal Verification

≈ $38k – $102k per year (Estimated) • Lead • 5+ years exp • In office (Bengaluru, India) • Bachelor's Degree • Staff
Python
SystemVerilog
Perl
AI/ML
NVLink
Chips/EDA
Formal Verification
Cadence JasperGold
Synopsys VC Formal
Apply
Verified live · 4 hours ago 7 months ago Long shot · 17%

Senior/ Staff Formal Verification Engineer

≈ $155k – $323k per year (Estimated) • Staff+ • 4+ years exp • In office (Tel Aviv, Israel) • Bachelor's Degree • Staff
SystemVerilog
AI/ML
NVLink
Chips/EDA
Formal Verification
Synopsys VC Formal
UVM
Apply
Open 235 daysVerified live · 4 hours ago Visa sponsor 8 months ago Long shot · 15%

Distinguished Formal Verification

≈ $186k – $353k per year (Estimated) • Lead • 18+ years exp • In office (San Jose, United States) • Bachelor's Degree • Principal
Python
Verilog
SystemVerilog
Perl
AI/ML
NVLink
DevOps
CI/CD
Chips/EDA
Formal Verification
Cadence JasperGold
Synopsys VC Formal
+1
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 · 4 hours ago 3 months ago Long shot · 16%

Principal Engineer, Design Verification

≈ $131k – $293k per year (Estimated) • Lead • 10+ years exp • Durham • Austin • Remote (United States) • Bachelor's Degree • Full-Time • Principal
Python
SystemVerilog
Perl
Verilog
C++
SystemC
DevOps
CI/CD
Git
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
+4
Apply
bitdeer.com • HQ: Singapore • AI Compute & Inference • Mining & Staking • Cryptocurrencies • 501-1000 employees • Est. 2018 • NASDAQ: BTDR • Trust B • Hiring 148, 18 new
HQ: Singapore • AI Compute & Inference • Mining & Staking • Cryptocurrencies • 501-1000 employees • Est. 2018 • NASDAQ: BTDR • Trust B • Hiring 148, 18 new
Bitdeer Technologies Group is a global technology company specializing in Bitcoin mining, proprietary ASIC hardware manufacturing, and high-performance computing infrastructure. Headquartered in Singapore, the firm operates data center facilities across North America, Europe, and Asia to provide self-mining, cloud hash rate sharing, and colocation hosting services. By expanding into GPU-accelerated cloud platform capabilities, it delivers scalable computing solutions for both cryptocurrency networks and artificial intelligence workloads.
No named decision-maker yet.
No careers mailbox known
Verified live · 3 hours ago 3 months ago Long shot · 14%

Senior/Staff Design Verification Engineer

≈ $69k – $136k per year (Estimated) • Staff+ • In office (Singapore) • Bachelor's Degree • Full-Time • Staff • English
Python
Verilog
C++
SystemVerilog
Bash
Perl
AI/ML
AI Agents
DevOps
Git
HPC
Linux
Unix
Web3
Bitcoin
Chips/EDA
UVM
Cadence JasperGold
Formal Verification
Synopsys VC Formal
Synopsys ZeBu
Cadence Palladium
Synopsys HAPS
+11
Apply
Machines can read this selection · checked 06:08 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.