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.
realtek.com • HQ: Hsinchu, Taiwan • Processors, MCUs & AI Chips • Est. 1987 • Hiring 16
HQ: Hsinchu, Taiwan • Processors, MCUs & AI Chips • Est. 1987 • Hiring 16
Realtek Semiconductor designs networking, audio and multimedia integrated circuits. Its ethernet and audio codecs are ubiquitous in personal computers. The company also builds wireless and switching silicon.
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 1294, 154 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 1294, 154 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.
imec-int.com • HQ: Leuven, Belgium • Science & Engineering • Manufacturing • Semiconductor Manufacturing • Research Institutes • 1001-5000 employees • Est. 1984 • Hiring 126, 26 new
HQ: Leuven, Belgium • Science & Engineering • Manufacturing • Semiconductor Manufacturing • Research Institutes • 1001-5000 employees • Est. 1984 • Hiring 126, 26 new
Headquartered in Leuven, Belgium, IMEC (Interuniversity Microelectronics Centre) is a world-leading research and development hub specializing in nanoelectronics and digital technologies. The organization conducts advanced scientific research, state-of-the-art pilot-line semiconductor processing, and technological prototyping in fields spanning next-generation integrated circuits, artificial intelligence hardware, life sciences, and sustainable energy systems. By bridging academic discovery with industrial application through global corporate partnerships and R&D collaborations, the enterprise drives critical technological breakthroughs across the worldwide semiconductor and high-tech industries.
silabs.com • HQ: Austin, United States • Embedded Software & RTOS • IoT Platforms & Solutions • RF & Wireless Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1996 • Trust B • Hiring 83, 3 new
HQ: Austin, United States • Embedded Software & RTOS • IoT Platforms & Solutions • RF & Wireless Hardware • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1996 • Trust B • Hiring 83, 3 new
Silicon Labs is a fabless semiconductor company headquartered in Austin, Texas, that designs low-power wireless SoCs, modules and software for Bluetooth, Wi-Fi, Matter and other IoT protocols. Listed on Nasdaq as SLAB, it serves smart home, industrial IoT and smart city device makers, operates in more than 16 countries with sites including Boston, San Jose, Montreal and Hyderabad, and hosts the annual Works With developer conference. It hires analog, digital and physical design engineers, embedded and wireless stack software engineers, test and quality engineers, field applications engineers and product marketing managers.
analog.com • HQ: Wilmington, United States • Sensors & Transducers • Analog & Power Semiconductors • 5000+ employees • Est. 1965 • Trust B • Hiring 680, 53 new
HQ: Wilmington, United States • Sensors & Transducers • Analog & Power Semiconductors • 5000+ employees • Est. 1965 • Trust B • Hiring 680, 53 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.
atom-computing.com • HQ: Berkeley, United States • Quantum Computing Hardware • 201-500 employees • Est. 2018 • Trust B • Hiring 36, 4 new
HQ: Berkeley, United States • Quantum Computing Hardware • 201-500 employees • Est. 2018 • Trust B • Hiring 36, 4 new
Atom Computing operates in the quantum computing technology field, focusing on systems built with neutral atoms as qubits. It develops scalable quantum hardware and associated software and offers quantum computing capabilities and services for research institutions, enterprises, and government organizations requiring advanced computational workloads.
star-catcher.com • HQ: Jacksonville, United States • Space Services • 51-200 employees • Est. 2024 • Startup • Hiring 40, 7 new
HQ: Jacksonville, United States • Space Services • 51-200 employees • Est. 2024 • Startup • Hiring 40, 7 new
The first power grid in space. Scalable, on-demand energy for satellites — delivering up to 10x more power to boost uptime, capability, and market access.
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.
bosch.com • HQ: Gerlingen, Germany • HVAC & Refrigeration • Industrial Automation • Sensors & Transducers • Motors, Drives & Motion Control • Home Appliances • Tools & DIY Supplies • Automotive Components • 5000+ employees • Est. 1886 • Trust B • Hiring 3706, 378 new
HQ: Gerlingen, Germany • HVAC & Refrigeration • Industrial Automation • Sensors & Transducers • Motors, Drives & Motion Control • Home Appliances • Tools & DIY Supplies • Automotive Components • 5000+ employees • Est. 1886 • Trust B • Hiring 3706, 378 new
Bosch is a German engineering and technology group founded in Stuttgart in 1886 by Robert Bosch as a workshop for precision mechanics and electrical engineering. It is the largest automotive supplier in the world, making braking, steering, powertrain, sensor and driver assistance systems for nearly every carmaker, and it also produces power tools, home appliances through BSH, industrial drives through Rexroth, and building security and heating systems. Around ninety per cent of the company is owned by a charitable foundation, an ownership structure that gives it unusual freedom to invest across long research cycles including semiconductors and hydrogen.
flir.com • HQ: Wilsonville, United States • C4ISR • Defense Manufacturing • Video Surveillance • Machine Vision & 3D Cameras • 1001-5000 employees • Est. 1978 • Trust A • Hiring 594, 38 new
HQ: Wilsonville, United States • C4ISR • Defense Manufacturing • Video Surveillance • Machine Vision & 3D Cameras • 1001-5000 employees • Est. 1978 • Trust A • Hiring 594, 38 new
Teledyne FLIR is an American maker of thermal imaging cameras, infrared and visible-light sensors, and detection systems for defense, industrial, commercial and public safety customers. Founded in 1978 as FLIR Systems, it was acquired by Teledyne Technologies in 2021 and now operates as a Teledyne business, with products ranging from handheld thermal cameras and OEM camera cores to unmanned systems and chemical, biological and explosives detectors. The company is headquartered in Wilsonville, Oregon, United States.
matx.com • HQ: Mountain View, United States • AI Chips & Accelerators • 51-200 employees • Est. 2023 • Startup • Trust B • Hiring 40, 2 new
HQ: Mountain View, United States • AI Chips & Accelerators • 51-200 employees • Est. 2023 • Startup • Trust B • Hiring 40, 2 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.
ibm.com • HQ: Armonk, United States • LLM & Generative AI • Quantum Science & Computing • Quantum Computing Hardware • Servers & Data Center Hardware • Cloud Platforms (IaaS & PaaS) • IT Consulting & Digital Transformation • 5000+ employees • Est. 1911 • Trust A • Hiring 493, 63 new
HQ: Armonk, United States • LLM & Generative AI • Quantum Science & Computing • Quantum Computing Hardware • Servers & Data Center Hardware • Cloud Platforms (IaaS & PaaS) • IT Consulting & Digital Transformation • 5000+ employees • Est. 1911 • Trust A • Hiring 493, 63 new
IBM is an American technology company whose roots go back to the 1911 formation of the Computing-Tabulating-Recording Company, and which has been headquartered in Armonk, New York for decades. It defined mainframe computing, the personal computer standard and much of enterprise data processing, and today concentrates on hybrid cloud built around Red Hat, enterprise AI through the watsonx platform, consulting services and the mainframe and storage systems that still run the world's largest transaction workloads. The company also runs one of the leading quantum computing programmes and consistently ranks among the largest recipients of United States patents.
cadence.com • HQ: San Jose, United States • Semiconductor IP & Chip Design Services • EDA Software • 5000+ employees • Est. 1988 • NASDAQ: CDNS • Trust B • Hiring 472, 31 new
HQ: San Jose, United States • Semiconductor IP & Chip Design Services • EDA Software • 5000+ employees • Est. 1988 • NASDAQ: CDNS • Trust B • Hiring 472, 31 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.
rivian.com • HQ: Irvine, United States • Automotive Manufacturing • 1001-5000 employees • Est. 2009 • Trust A • Hiring 725, 226 new
HQ: Irvine, United States • Automotive Manufacturing • 1001-5000 employees • Est. 2009 • Trust A • Hiring 725, 226 new
Headquartered in Irvine, California, Rivian is an American electric vehicle manufacturer and automotive technology company. The enterprise designs and builds all-electric pickup trucks, sport utility vehicles, and commercial delivery vans tailored for both consumer adventure and commercial fleet operations. Through continuous innovation in battery technology and software-defined vehicle platforms, the business aims to accelerate the global transition to sustainable transportation.
tenstorrent.com • HQ: Toronto, Canada • Semiconductor IP & Chip Design Services • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2016 • Trust A • Hiring 107, 2 new
HQ: Toronto, Canada • Semiconductor IP & Chip Design Services • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2016 • Trust A • Hiring 107, 2 new
Tenstorrent is a Canadian semiconductor company founded in 2016 that designs artificial intelligence accelerators and RISC-V processors, and it is unusual in the field for licensing its designs as intellectual property as well as selling hardware. It is led by Jim Keller, the chip architect behind AMD's Zen and Apple's early mobile processors, and its argument against Nvidia is openness: an open instruction set, open source software stack and licensable designs rather than a closed platform. Headquartered in Toronto and backed by investors including Samsung, Hyundai and Bezos Expeditions, it competes in a market where software maturity matters as much as silicon.
nokia.com • HQ: Espoo, Finland • Optical Communications • Mobile Networks • Network Equipment • 5000+ employees • Est. 1865 • Trust A • Hiring 292, 28 new
HQ: Espoo, Finland • Optical Communications • Mobile Networks • Network Equipment • 5000+ employees • Est. 1865 • Trust A • Hiring 292, 28 new
Nokia is a Finnish telecommunications equipment company founded in 1865 as a paper mill, which became the world's largest mobile phone maker in the 1990s before selling that business to Microsoft in 2014. It now supplies network infrastructure to operators and enterprises, covering radio access equipment for mobile networks, optical and IP routing for transport networks, fixed broadband access, and a technologies division that licenses its cellular patent portfolio. Headquartered in Espoo and listed in Helsinki and New York, it runs Nokia Bell Labs as its research arm and has been expanding into data centre networking as operator spending has slowed.
allegromicro.com • HQ: Manchester, United States • Analog & Power Semiconductors • Sensors & Transducers • 1001-5000 employees • Est. 1990 • NASDAQ: ALGM • Trust B • Hiring 89, 5 new
HQ: Manchester, United States • Analog & Power Semiconductors • Sensors & Transducers • 1001-5000 employees • Est. 1990 • NASDAQ: ALGM • Trust B • Hiring 89, 5 new
Allegro MicroSystems is a semiconductor company headquartered in Manchester, New Hampshire, that designs and manufactures magnetic sensor ICs, including Hall-effect and TMR sensors, and power management and motor driver ICs for automotive, industrial and clean energy systems. Operating under the Allegro name since 1990 and listed on Nasdaq, it runs a large test and assembly site in Manila, the Philippines, with design and sales centers in the US, Argentina, France, Italy, Czechia, India, China and Japan. It hires analog, digital verification, systems, layout and package engineers, failure analysis technicians, database administrators, internal controls staff and sales leaders.
spyro-soft.com • HQ: Wrocław, Poland • AI Consulting & Integration • IT Outsourcing & Dedicated Teams • IT Consulting & Digital Transformation • Embedded Software & RTOS • Custom Software Development • Est. 2016 • Trust B • Hiring 100, 10 new
HQ: Wrocław, Poland • AI Consulting & Integration • IT Outsourcing & Dedicated Teams • IT Consulting & Digital Transformation • Embedded Software & RTOS • Custom Software Development • Est. 2016 • Trust B • Hiring 100, 10 new
Spyrosoft is a global technology group founded in 2016 that specializes in digital transformation and custom software engineering for clients worldwide. The company provides a comprehensive suite of services, including product design, AI/ML, cloud solutions, and embedded systems, across diverse industries such as automotive, finance, healthcare, and robotics. Listed on the Warsaw Stock Exchange, the group operates as a network of specialized companies that empower businesses to scale and thrive through innovative technology.
neurealm.com • HQ: Pune, India • Information Technology • AI Agents • Artificial Intelligence • IT Outsourcing & Dedicated Teams • Managed IT Services (MSP) • Custom Software Development • Est. 2003 • Hiring 27
HQ: Pune, India • Information Technology • AI Agents • Artificial Intelligence • IT Outsourcing & Dedicated Teams • Managed IT Services (MSP) • Custom Software Development • Est. 2003 • Hiring 27
Neurealm provides product engineering and digital services to technology companies. It was formed from the combination of two established Indian engineering firms. Its work covers cloud infrastructure software, data platforms and managed services.
