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.
rebellions.ai • HQ: Seongnam, South Korea • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 501-1000 employees • Est. 2020 • Startup • Trust C • Hiring 38, 1 new
HQ: Seongnam, South Korea • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 501-1000 employees • Est. 2020 • Startup • Trust C • Hiring 38, 1 new
Rebellions is a South Korean semiconductor company founded in 2020 by former Wall Street quantitative engineers and IBM chip designers to build accelerators specialised for AI inference rather than training. Its ATOM processor targets efficiency per watt in data centre inference, and the follow-on REBEL design uses chiplet packaging to scale to large language model workloads. The company merged with Sapeon Korea, the AI chip unit of the SK group, to consolidate the domestic effort against foreign GPUs, becoming South Korea's first AI semiconductor unicorn and working closely with SK Telecom, KT and Samsung Foundry.
galois.com • HQ: Portland, United States • Information Security • Custom Software Development • 51-200 employees • Likely startup • Trust B • Hiring 3
HQ: Portland, United States • Information Security • Custom Software Development • 51-200 employees • Likely startup • Trust B • Hiring 3
Trustworthy. For more than 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world's most critical systems.
graphcore.ai • HQ: Bristol, United Kingdom • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2016 • Trust A • Hiring 164, 3 new
HQ: Bristol, United Kingdom • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2016 • Trust A • Hiring 164, 3 new
Graphcore is a British semiconductor company founded in Bristol in 2016 that designs the Intelligence Processing Unit, a processor architected specifically for machine learning rather than adapted from graphics. Its chips place large amounts of memory directly on the die and expose fine-grained parallelism, an approach aimed at sparse and irregular models that map poorly onto conventional accelerators. The company sells IPU systems and the Poplar software stack to research and enterprise customers, and has operated as a wholly owned subsidiary of SoftBank Group since its acquisition in 2024.
lightmatter.co • HQ: Mountain View, United States • AI Chips & Accelerators • Optics & Photonic Components • 1001-5000 employees • Est. 2017 • Trust B • Hiring 62, 4 new
HQ: Mountain View, United States • AI Chips & Accelerators • Optics & Photonic Components • 1001-5000 employees • Est. 2017 • Trust B • Hiring 62, 4 new
Lightmatter is a photonic computing and interconnect company headquartered in Mountain View, California, and founded in 2017. The company develops photonic chips, light engines, and interconnect platforms designed to scale AI supercomputers by replacing traditional electrical I/O with optical technology. It operates as a venture-backed firm collaborating with major semiconductor manufacturers and standards bodies to provide high-bandwidth, energy-efficient infrastructure for large-scale AI training and inference.
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.
monolithicpower.com • HQ: Kirkland, United States • Analog & Power Semiconductors • Power Supplies & Power Electronics • 1001-5000 employees • Est. 1997 • NASDAQ: MPWR • Trust B • Hiring 219, 7 new
HQ: Kirkland, United States • Analog & Power Semiconductors • Power Supplies & Power Electronics • 1001-5000 employees • Est. 1997 • NASDAQ: MPWR • Trust B • Hiring 219, 7 new
Monolithic Power Systems is an American fabless semiconductor company that designs power management chips and modules, including DC-DC converters, motor drivers, battery management devices and power modules. Founded in 1997 and listed on Nasdaq, it serves computing and data center, automotive, industrial and communications customers, using proprietary process technology that integrates control and power stages on one chip. It hires applications engineers and interns in San Jose, Chengdu, Hangzhou and Taipei. The company is headquartered in Kirkland, Washington, United States.
janestreet.com • HQ: New York, United States • Hedge Funds & Alternative Investments • 1001-5000 employees • Est. 2000 • Trust B • Hiring 169, 1 new
HQ: New York, United States • Hedge Funds & Alternative Investments • 1001-5000 employees • Est. 2000 • Trust B • Hiring 169, 1 new
Jane Street (Jane Street Capital) is a quantitative trading firm and liquidity provider specializing in automated market making, algorithmic execution, and high-frequency trading. Headquartered in New York, New York, the firm operates major regional hubs in London, Hong Kong, Singapore, and Amsterdam. Its core activities involve deploying proprietary quantitative research, machine learning models, and low-latency infrastructure to facilitate continuous trading across exchange-traded funds (ETFs), equities, options, fixed income, futures, and derivative products across more than 200 trading venues globally.
yosyshq.com • HQ: Vienna, Austria • Open Source Projects & Foundations • EDA Software • 11-50 employees • Hiring 2
HQ: Vienna, Austria • Open Source Projects & Foundations • EDA Software • 11-50 employees • Hiring 2
YosysHQ is an Austrian software company that maintains the open source Yosys synthesis tool and the surrounding open source electronic design automation ecosystem. It offers off-the-shelf software packages that integrate its tools into industry design environments and provides support, and it hires synthesis and formal verification developers and a chief operating officer. The company is headquartered in Vienna, Austria.
arago.inc • HQ: Paris, France • AI Chips & Accelerators • Processors, MCUs & AI Chips • 201-500 employees • Est. 2024 • Startup • Trust A • Hiring 14
HQ: Paris, France • AI Chips & Accelerators • Processors, MCUs & AI Chips • 201-500 employees • Est. 2024 • Startup • Trust A • Hiring 14
Arago develops photonic processors that run artificial intelligence workloads using light instead of electrons. Its aim is to cut the energy consumption of large model inference by an order of magnitude. The company is headquartered in Paris.
mobileye.com • HQ: Jerusalem, Israel • Automotive Components • Computer Vision • Processors, MCUs & AI Chips • Autonomous Driving • 1001-5000 employees • Est. 1999 • Trust A • Hiring 153, 6 new
HQ: Jerusalem, Israel • Automotive Components • Computer Vision • Processors, MCUs & AI Chips • Autonomous Driving • 1001-5000 employees • Est. 1999 • Trust A • Hiring 153, 6 new
Mobileye is an Israeli company founded in Jerusalem in 1999 by the computer scientist Amnon Shashua and the entrepreneur Ziv Aviram, built on the then-contrarian idea that a single camera and clever software could handle driver assistance without radar or lidar. Its EyeQ system-on-chip has shipped in more than two hundred million vehicles, making it the dominant supplier of vision-based driver assistance to the global car industry. Acquired by Intel for fifteen billion dollars in 2017 and returned to public markets in 2022, the company now sells escalating tiers from basic assistance through the SuperVision and Chauffeur hands-off systems up to the fully driverless Mobileye Drive platform.
innophaseiot.com • HQ: San Jose, San Diego, United States • Processors, MCUs & AI Chips • RF & Wireless Hardware • 201-500 employees • Est. 2022 • Likely startup • Trust D • Hiring 14
HQ: San Jose, San Diego, United States • Processors, MCUs & AI Chips • RF & Wireless Hardware • 201-500 employees • Est. 2022 • Likely startup • Trust D • Hiring 14
InnoPhase IoT, Inc. is a semiconductor company specializing in ultra-low power wireless connectivity solutions for IoT devices.
omnidesigntech.com • HQ: Milpitas, United States • Analog & Power Semiconductors • Semiconductor IP & Chip Design Services • 201-500 employees • Est. 2015 • Startup • Trust D • Hiring 46
HQ: Milpitas, United States • Analog & Power Semiconductors • Semiconductor IP & Chip Design Services • 201-500 employees • Est. 2015 • Startup • Trust D • Hiring 46
Omni Design Technologies is a semiconductor IP company that licenses high-performance, low-power analog and mixed-signal IP cores, including data converters for wideband signal processing, built on advanced FinFET process nodes. Its IP is integrated into system-on-chip designs for wireless, automotive, optical networking and AI applications, with design centres in Bengaluru, Hyderabad, Taipei, Fort Collins and Lisbon. The company is headquartered in Milpitas, California, United States.
