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.
inspiresemi.com • Processors, MCUs & AI Chips • 51-200 employees • Est. 2022 • Likely startup • Hiring 1
Processors, MCUs & AI Chips • 51-200 employees • Est. 2022 • Likely startup • Hiring 1
About Us Enabling tomorrow's innovation today InspireSemi is dedicated to developing and delivering superior accelerated computing solutions for HPC, AI, graph analytics, and other compute-intensive applications.
avantgarde.ltd • HQ: Bengaluru, India • IT Staffing & Staff Augmentation • Recruiting & Staffing • Hiring 2
HQ: Bengaluru, India • IT Staffing & Staff Augmentation • Recruiting & Staffing • Hiring 2
Avant Garde is a recruitment firm in Bengaluru that hires product and engineering talent for client organizations, including a real estate technology company. Its vacancies include a digital product owner and a senior ASIC verification engineer. The firm is based in Bengaluru, India.
rtx.com • HQ: Arlington, United States • Avionics & Flight Control • Air Defense • Missiles • Defense Manufacturing • Aerospace Manufacturing • 5000+ employees • Est. 2020 • Trust A • Hiring 3615, 253 new
HQ: Arlington, United States • Avionics & Flight Control • Air Defense • Missiles • Defense Manufacturing • Aerospace Manufacturing • 5000+ employees • Est. 2020 • Trust A • Hiring 3615, 253 new
RTX is an American aerospace and defense company formed in 2020 by the merger of United Technologies and Raytheon. It operates through three businesses: Collins Aerospace, which makes avionics, aircraft interiors and aerostructures, Pratt & Whitney, which builds commercial and military jet engines, and Raytheon, which produces missiles, air defense systems such as Patriot, radars and sensors. Its customers include airlines, aircraft manufacturers, the United States Department of Defense and allied governments. The company is headquartered in Arlington, Virginia, United States.
openai.com • HQ: San Francisco, United States • Artificial Intelligence • Code Intelligence • Generative Video • Conversational AI • AI Research Labs • Foundation Models • LLM & Generative AI • 5000+ employees • Est. 2015 • Trust B • Hiring 792, 49 new
HQ: San Francisco, United States • Artificial Intelligence • Code Intelligence • Generative Video • Conversational AI • AI Research Labs • Foundation Models • LLM & Generative AI • 5000+ employees • Est. 2015 • Trust B • Hiring 792, 49 new
OpenAI is an American artificial intelligence research and deployment company founded in 2015 with the mission of ensuring that artificial general intelligence benefits all of humanity. It develops the GPT family of large language models and turns them into consumer and developer products, including the ChatGPT assistant, the Sora video model, the Codex coding agent and a commercial API used by millions of developers. Structured as a public benefit corporation controlled by a non-profit foundation, the company is backed by Microsoft and SoftBank and operates from San Francisco.
dolphin-semiconductor.com • HQ: Grenoble, France • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 51-200 employees • Est. 2024 • Likely startup • Hiring 3
HQ: Grenoble, France • Processors, MCUs & AI Chips • Semiconductor IP & Chip Design Services • 51-200 employees • Est. 2024 • Likely startup • Hiring 3
Dolphin Design is a French semiconductor design company based near Grenoble with roots going back to 1985. It licenses low-power silicon intellectual property such as power management, clocking, audio and data conversion blocks. Its technology is embedded in chips for wearables, automotive and internet of things devices.
st.com • HQ: Geneva, Switzerland • Semiconductor Manufacturing • Sensors & Transducers • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1987 • NYSE: STM • Trust B • Hiring 400
HQ: Geneva, Switzerland • Semiconductor Manufacturing • Sensors & Transducers • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 1987 • NYSE: STM • Trust B • Hiring 400
STMicroelectronics is a European semiconductor company headquartered in Geneva that designs and manufactures microcontrollers, sensors, power and analog chips, and imaging devices for automotive, industrial, personal electronics and communications markets. Formed in 1987 from the merger of SGS Microelettronica and Thomson Semiconducteurs and listed in Paris, Milan and New York, it employs people of more than 115 nationalities in 40 countries, with fabs and sites in Crolles, Grenoble, Agrate Brianza, Catania, Singapore, Muar and Calamba. It hires process and validation engineers, facilities and NPI engineers, test operators, HR partners and engineering interns.
niobium.co • HQ: Dayton, United States • Custom Software Development • Machine Learning • 51-200 employees • Est. 2021 • Startup • Hiring 2
HQ: Dayton, United States • Custom Software Development • Machine Learning • 51-200 employees • Est. 2021 • Startup • Hiring 2
Home [ About us ] We're creating the infrastructure for a world where data never has to be exposed to beuseful. Through purpose-built silicon and an encrypted cloud platform, we turn data privacyfrom a liability into a business asset.
bitdeer.com • HQ: Singapore • AI Compute & Inference • Mining & Staking • Cryptocurrencies • 501-1000 employees • Est. 2018 • NASDAQ: BTDR • Trust B • Hiring 149, 19 new
HQ: Singapore • AI Compute & Inference • Mining & Staking • Cryptocurrencies • 501-1000 employees • Est. 2018 • NASDAQ: BTDR • Trust B • Hiring 149, 19 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.
fractile.ai • HQ: London, United Kingdom • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 11-50 employees • Est. 2022 • Startup • Trust A • Hiring 32, 5 new
HQ: London, United Kingdom • AI Compute & Inference • AI Chips & Accelerators • Processors, MCUs & AI Chips • 11-50 employees • Est. 2022 • Startup • Trust A • Hiring 32, 5 new
Fractile is a London semiconductor company founded in 2022 that designs chips for large language model inference. Its in-memory computing architecture aims to remove the memory bottleneck that limits how fast transformer models can run. The company is backed by prominent artificial intelligence investors including a NVIDIA venture arm.
rambus.com • HQ: San Jose, United States • Semiconductor IP & Chip Design Services • Memory & Storage Chips • 1001-5000 employees • Est. 1990 • NASDAQ: RMBS • Hiring 46, 5 new
HQ: San Jose, United States • Semiconductor IP & Chip Design Services • Memory & Storage Chips • 1001-5000 employees • Est. 1990 • NASDAQ: RMBS • Hiring 46, 5 new
Founded in 1990, Rambus Inc. is a technology and semiconductor company headquartered in San Jose, California. The company specializes in high-speed memory interface chips, silicon intellectual property (IP), and embedded hardware security solutions. Serving data center hyperscalers, semiconductor manufacturers, and memory module builders, its technology optimizes data transfer speeds, enhances memory bandwidth, and secures hardware systems across high-performance computing, artificial intelligence, automotive, and enterprise server platforms.
jobyaviation.com • HQ: Santa Cruz, United States • Aircraft Manufacturing • Air Transport • 1001-5000 employees • Est. 2009 • NYSE: JOBY • Hiring 138, 13 new
HQ: Santa Cruz, United States • Aircraft Manufacturing • Air Transport • 1001-5000 employees • Est. 2009 • NYSE: JOBY • Hiring 138, 13 new
Headquartered in Santa Cruz, California, Joby Aviation is an aerospace company specializing in the development of electric vertical takeoff and landing (eVTOL) aircraft. The company builds zero-emission aircraft designed to operate as fast and quiet air taxi services across urban environments and regional transportation networks. Working closely with civil aviation authorities and industry partners, it aims to deploy safe, scalable aerial mobility platforms for commercial passenger travel.
nuvoton.com • HQ: Hsinchu, Taiwan • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2008 • Hiring 39, 2 new
HQ: Hsinchu, Taiwan • Analog & Power Semiconductors • Processors, MCUs & AI Chips • 1001-5000 employees • Est. 2008 • Hiring 39, 2 new
Nuvoton Technology is a Taiwanese semiconductor company spun out of Winbond in 2008. It designs microcontrollers, audio and security chips, and acquired Panasonic's semiconductor business. The company serves industrial, automotive and consumer markets.
anduril.com • HQ: Costa Mesa, United States • Defense Manufacturing • C4ISR • Military Drones • Defense AI • 5000+ employees • Est. 2017 • Trust B • Hiring 2073, 115 new
HQ: Costa Mesa, United States • Defense Manufacturing • C4ISR • Military Drones • Defense AI • 5000+ employees • Est. 2017 • Trust B • Hiring 2073, 115 new
Anduril Industries is an American defence technology company founded in 2017 that builds autonomous systems and command software for military and border security customers. Rather than bidding on cost-plus programmes, it develops products with its own capital and sells them as finished systems, from surveillance towers and counter-drone interceptors to underwater vehicles and collaborative combat aircraft. Its Lattice software platform fuses sensor data into a single operating picture and controls the hardware family, and the company is headquartered in Costa Mesa, California with a large manufacturing site in Ohio.
Need top executives or technical talent fast? Quick Hire delivers expert recruitment and global staffing solutions with speed, precision, and reliability.
Revolutionary Copper MIMO technology eliminates costly HBM chips. 10X lower cost, 3X lower power, 8X more scale for next-gen AI systems and connectivity.
samsung.com • HQ: Suwon, South Korea • Televisions • Displays & Panel Technology • Semiconductor Manufacturing • Smartphones • Memory & Storage Chips • 1001-5000 employees • Est. 1969 • Trust B • Hiring 578, 65 new
HQ: Suwon, South Korea • Televisions • Displays & Panel Technology • Semiconductor Manufacturing • Smartphones • Memory & Storage Chips • 1001-5000 employees • Est. 1969 • Trust B • Hiring 578, 65 new
Samsung Electronics is a South Korean company founded in 1969 and the largest business in the Samsung group, operating across two very different halves. Its device solutions division makes memory chips, foundry services and image sensors and is one of the largest semiconductor producers in the world, while its device experience division sells Galaxy smartphones and tablets, televisions, home appliances and networking equipment to consumers. Headquartered in Suwon and listed in Seoul, it is the biggest supplier of DRAM and NAND memory and competes with TSMC in contract chip manufacturing.
modernchipsolutions.com • HQ: Bengaluru, India • Semiconductor IP & Chip Design Services • Est. 2020 • Hiring 3
HQ: Bengaluru, India • Semiconductor IP & Chip Design Services • Est. 2020 • Hiring 3
Modernize Chip Solutions is an end-to-end VLSI design services company focused on chipsets and semiconductor design. Its vacancies include DFT engineers, RTL integration engineers and design verification engineers working on full-chip design-for-test, scan architecture and PHY integration. The company is headquartered in Bengaluru, India.
ericsson.com • HQ: Stockholm, Sweden • Telecom Infrastructure • Mobile Networks • Network Equipment • 5000+ employees • Est. 1876 • Trust B • Hiring 376, 30 new
HQ: Stockholm, Sweden • Telecom Infrastructure • Mobile Networks • Network Equipment • 5000+ employees • Est. 1876 • Trust B • Hiring 376, 30 new
Ericsson is a Swedish telecommunications company founded in 1876 and headquartered in Stockholm. It supplies mobile network equipment and software to operators worldwide. The company is one of the largest providers of fifth generation network infrastructure.
signoffsemiconductors.com • Bengaluru • Analog & Power Semiconductors • Semiconductor IP & Chip Design Services • 11-50 employees • Est. 2015 • Hiring 4, 1 new
Bengaluru • Analog & Power Semiconductors • Semiconductor IP & Chip Design Services • 11-50 employees • Est. 2015 • Hiring 4, 1 new
SignOff Semiconductors is a trusted global semiconductor design company based in Bangalore. End-to-end ASIC & SoC design services from RTL to GDSII. Physical Design, STA, DFT, Verification, Custom Layout and turnkey silicon solutions for semiconductor companies.
