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.
Home for the Curious Mind Q-Block Computing is a home for the curious mind and unconventional thinking. We approach high-impact problems at the forefront of science and engineering.
hp.com • HQ: Palo Alto, United States • Personal Development • DeFi • Artificial Intelligence • 3D Printers & Additive Manufacturing • Computer Peripherals • Printers & Scanners • Laptops • 5000+ employees • Est. 2015 • Trust B • Hiring 968, 89 new
HQ: Palo Alto, United States • Personal Development • DeFi • Artificial Intelligence • 3D Printers & Additive Manufacturing • Computer Peripherals • Printers & Scanners • Laptops • 5000+ employees • Est. 2015 • Trust B • Hiring 968, 89 new
HP Inc. is an American technology company created in 2015 when the original Hewlett-Packard split its personal systems and printing businesses away from its enterprise arm. It is one of the largest personal computer vendors in the world, shipping consumer and commercial laptops, desktops and workstations under the HP, Pavilion, Envy, EliteBook, OMEN and Poly brands, alongside a printing division covering home, office, large-format and industrial 3D printing. Headquartered in Palo Alto, California, the company earns a large share of profit from supplies and services attached to its installed base and has pushed into hybrid-work peripherals and subscription hardware.
bayasystems.com • HQ: Santa Clara, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 201-500 employees • Est. 2023 • Startup • Trust D • Hiring 23, 1 new
HQ: Santa Clara, United States • AI Chips & Accelerators • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 201-500 employees • Est. 2023 • Startup • Trust D • Hiring 23, 1 new
Baya Systems delivers chiplet-ready, software-defined unified fabric solutions enabling efficient data movement and scalable, high-performance AI systems.
k2space.com • HQ: Torrance, United States • Satellite Manufacturing • 501-1000 employees • Est. 2022 • Startup • Trust A • Hiring 200, 2 new
HQ: Torrance, United States • Satellite Manufacturing • 501-1000 employees • Est. 2022 • Startup • Trust A • Hiring 200, 2 new
K2 Space is a Torrance, California, spacecraft maker building very large, high-power satellite platforms for the era of heavy-lift rockets, with its Mega Class bus delivering about 20 kW and up to 3,000 kg of payload for missions from low Earth orbit to deep space. Founded in 2022 and Series D funded, it has raised over $1 billion from investors including Altimeter, ICONIQ, Kleiner Perkins and Lightspeed, holds over $1 billion in commercial and US government contracts, and builds about 80% of each satellite in-house. It hires integration and test, mission operations, avionics, solar and tooling engineers, technicians and program managers.
moschip.com • Bengaluru • Hyderabad • Hyderabad • Santa Clara • Texas City • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 501-1000 employees • Est. 2011 • Trust C • Hiring 34
Bengaluru • Hyderabad • Hyderabad • Santa Clara • Texas City • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 501-1000 employees • Est. 2011 • Trust C • Hiring 34
MosChip provides turnkey ASIC design services, product engineering services that includes IoT, AI/ML, Data services, Cloud with design centers across US & India.
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.
cirrus.com • HQ: Austin, United States • Headphones & Audio • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1984 • NASDAQ: CRUS • Trust B • Hiring 112, 1 new
HQ: Austin, United States • Headphones & Audio • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1984 • NASDAQ: CRUS • Trust B • Hiring 112, 1 new
Cirrus Logic is a renowned brand that excels in the field of audio and voice technology. With a passion for innovation, they are committed to delivering high-performance products and services that enhance audio experiences across a wide range of applications. They offer a comprehensive portfolio of cutting-edge audio solutions, including audio amplifiers, codecs, digital-to-analog converters (DACs), and analog-to-digital converters (ADCs). These products are designed to meet the demanding requirements of professional audio equipment, consumer electronics, and automotive applications. Cirrus Logic's advanced technologies enable crystal-clear sound, rich audio quality, and immersive audio experiences. Their products are trusted by leading manufacturers in industries such as smartphones, tablets, home theater systems, automotive infotainment, and professional audio equipment. With a focus on continuous innovation, Cirrus Logic is a reliable partner for businesses seeking to elevate their audio performance. Their dedication to excellence and commitment to customer satisfaction make them a top choice in the audio technology market.
xiaopeng.com • HQ: Guangzhou, China • Autonomous Driving • Automotive Manufacturing • 1001-5000 employees • Est. 2014 • Trust B • Hiring 1000, 28 new
HQ: Guangzhou, China • Autonomous Driving • Automotive Manufacturing • 1001-5000 employees • Est. 2014 • Trust B • Hiring 1000, 28 new
XPeng is a Chinese smart electric vehicle maker headquartered in Guangzhou, Guangdong, developing its own driver-assistance software, AI chips, electric powertrains and in-car operating systems for models such as the P7, G6, G9, X9 and MONA M03. Founded in 2014 by He Xiaopeng and partners, it listed in New York in 2020 and Hong Kong in 2021, passed one million cumulative deliveries by the end of 2025, sells in about 60 countries, and is developing the IRON humanoid robot and flying cars through affiliate Aridge. It hires AI algorithm, autonomous driving, chip and vehicle engineers, product managers, and international sales and finance staff.
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.
etched.com • HQ: San Jose, United States • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2022 • Trust A • Hiring 79, 10 new
HQ: San Jose, United States • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2022 • Trust A • Hiring 79, 10 new
Etched is an American semiconductor company founded in 2022 that designs application-specific chips for running transformer-based AI models, together with the servers, racks, software and manufacturing methods around them. Its Sohu chip targets high throughput, low latency and lower cost and power for inference of frontier models, and the company has raised large venture rounds to bring it to production, with teams in San Jose, Austin and Taiwan. The company is headquartered in San Jose, California, United States.
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.
axiado.com • HQ: San Jose, United States • Processors, MCUs & AI Chips • 51-200 employees • Est. 2017 • Trust A • Hiring 50, 3 new
HQ: San Jose, United States • Processors, MCUs & AI Chips • 51-200 employees • Est. 2017 • Trust A • Hiring 50, 3 new
Axiado builds security processors that protect servers at the hardware root of trust. Its chips use machine learning to detect attacks on platform firmware. The company serves data centre and telecom equipment makers.
e-space.com • HQ: Arlington, United States • HQ: Toulouse, France • Satellite Manufacturing • Space & Aerospace • 201-500 employees • Est. 2021 • Likely startup • Trust C • Hiring 105, 2 new
HQ: Arlington, United States • HQ: Toulouse, France • Satellite Manufacturing • Space & Aerospace • 201-500 employees • Est. 2021 • Likely startup • Trust C • Hiring 105, 2 new
Headquartered jointly in Toulouse, France, and Arlington, Texas, United States, E-Space is an aerospace and satellite communications enterprise specializing in sustainable low Earth orbit (LEO) mega-constellations and secure global data infrastructure. Founded in 2021 by satellite communications entrepreneur Greg Wyler (founder of O3b Networks and OneWeb), the company develops mass-manufacturable small satellites engineered with a debris-resilient architecture - designed to absorb impact without fragmenting, entrain untracked orbital debris, and cleanly deorbit at end-of-life to maintain orbital sustainability.
tiktok.com • HQ: Culver City, United States • Social Networks • Video & Photo Sharing • Social Commerce • Advertising • 1001-5000 employees • Est. 2016 • Trust B • Hiring 3428, 64 new
HQ: Culver City, United States • Social Networks • Video & Photo Sharing • Social Commerce • Advertising • 1001-5000 employees • Est. 2016 • Trust B • Hiring 3428, 64 new
TikTok is a short-form video platform owned by the Chinese technology group ByteDance and launched internationally in 2016, growing further after the 2018 merger with the lip-sync app Musical.ly. Its recommendation feed surfaces content by engagement signals rather than social graph, which lets new creators reach large audiences quickly and made the app one of the most downloaded in the world. The company runs dual operating hubs in Singapore and Los Angeles and has built an advertising business, a live streaming economy and the TikTok Shop commerce marketplace on top of the video feed.
bytedance.com • HQ: Beijing, China • Advertising • Digital Media • Recommendation Systems • Video & Photo Sharing • Consumer Internet Groups • 1001-5000 employees • Est. 2012 • Trust A • Hiring 8337, 82 new
HQ: Beijing, China • Advertising • Digital Media • Recommendation Systems • Video & Photo Sharing • Consumer Internet Groups • 1001-5000 employees • Est. 2012 • Trust A • Hiring 8337, 82 new
ByteDance is a Chinese internet technology company founded in Beijing in 2012 that operates some of the world's largest content and commerce platforms. Its portfolio includes the short-video apps TikTok and Douyin, the news aggregator Toutiao, the video editor CapCut, the workplace suite Lark and the Doubao family of AI assistants and models. Recommendation systems trained on user behaviour sit at the centre of every product, and the company has grown into one of the highest-revenue private technology businesses in the world.
analog-ai.com • HQ: Seongnam, South Korea • AI Chips & Accelerators • Trust B • Hiring 8
HQ: Seongnam, South Korea • AI Chips & Accelerators • Trust B • Hiring 8
Supercharge your AI by 1000x and unlock limitless opportunities. The growth of AI Model goes beyond exponential, surging at an unprecedented rate. AI Hardware, on the other hand, is lagging behind in growth at a much slower rate.
