Formal verification jobs

Senior Staff Formal Verification Engineer

San Diego, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > GPU ASICS Engineering General Summary: About The Role The Qualcomm Adreno GPU takes PC platforms and mobile UI, games, and advanced graphics applications to the next level, providing users with stunning visuals and high-performance video streaming, enabling enhanced AI processing, and next-gen mobile gaming while optimizing power consumption. In the fast-moving world of GPU Verification, Formal Methods

Full-time

USD 195,200.00 - 325,000.00 per year

Test Professional

Glendale, Wisconsin

•

Today

Location: Glendale, WI Salary: $53.00 USD Hourly - $55.00 USD Hourly Description: Job Title: Test Professional Location: Milwaukee, WI Duration: 12+ Months Contract Job Description: This is a role well suited to an ambitious Nuclear Medicine professional, looking for the next step in their career. We are seeking a strategic and critical thinker with a strong technical background. As a Nuclear Medicine Test Professional, you will be responsible for: Applying your Nuclear Medicine background to

Contract

USD 53.00 - 55.00 per hour

Formal Verification Engineer

Austin, Texas

•

Today

ADVANCE YOUR CAREER. ADVANCE THE WORLD. At AMD, we believe technology can change lives for the better. It can heal us, entertain us, and make us more connected, productive, and understanding of the world around us. And we're looking for talent who feel the same: people who want to leave the planet better than they found it, those who don't shy away from humanity's challenges but are determined to help solve them. AMD is powering the next generation of supercomputing, high-performance computing

Full-time

USD 126,700.00 per year

CPU Formal Verification Engineer

Santa Clara, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > CPU Engineering General Summary: Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the development of the next generation of formal methodologies in this space? The Qualcomm CPU team has some of the best CPU architects and engineers on the planet, developing the processors

Full-time

USD 142,200.00 - 213,400.00 per year

Lead Formal Verification Engineer

Austin, Texas

•

Today

Full-time

USD 156,100.00 per year

Senior Staff Engineer, GPU Design Verification (Formal Verification)

San Jose, California

•

Today

Position Summary Samsung, a world leader in advanced semiconductor technology, is founded on a simple philosophy - the endless pursuit of excellence will create a better world for all. At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are building a center of excellence for Intellectual Property (IP) that is applied to high-performance computing devices (mobile, automotive, and other custom market segments) consumed by millions of people around the wo

Full-time

USD 198,200.00 - 297,200.00 per year

Senior Staff CPU Backend Design Engineer

Santa Clara, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > CPU Engineering General Summary: This individual leads the team to improve engineering efficiency, product quality and responsibility of working with microarchitecture and RTL design team to implement the designs, meeting aggressive power, area and performance goals using industry standard tools/flows. Works with CPU microarchitecture team to understand specifications and design trade-offs in pipeline and st

Full-time

USD 216,091.00 - 298,100.00 per year

DIGITAL VERIFICATION ENGINEER

Austin, Texas

•

Today

Job Description: Duties: Collaborate with architecture, systems and design teams to understand the product requirements and develop verification plans to meet the project specifications. Responsible for functional simulations and design debugs. Develop functional (digital) verification plans, test cases, Verification IP, and test bench components. Understand development boards and lab equipment to perform digital silicon validation. Develop infrastructure and test cases targeted for an IP, sub-s

Full-time

USD 129,846.30 per year

Cryptography Engineer, SEAR

Cupertino, California

•

Today

Embedded within Apple's Security Engineering & Architecture (SEAR) organization, the Cryptographic Engineering team's mission is to deliver world-class cryptographic implementation and secure protocol engineering for products going in the hands of millions of customers! We are looking for an expert Cryptography Engineer with a strong software background, capable of implementing and crafting security countermeasures against side-channel and physical attacks for various algorithms. Description W

Full-time

Meet us at ICFP 2026!

Indianapolis, Indiana

•

28d ago

We're looking forward to #ICFP2026 in Indianapolis! OCaml is our primary development language at Jane Street, and we're actively building new language features and formal verification tools. See our recent blog post, and come chat with out team at the conference.

Full-time

Design Engineer III

Sunnyvale, California

•

Today

Job Description Onsite 3 days in Sunnyvale, CA Job Description About the role: Design Verification engineer for wearables silicon accelerator IPs - testbench development, coverage-driven verification, RTL debug, and power/performance measurement. Responsibilities Develop and execute verification plans for RTL blocks/IPs across the subsystem. Build and maintain SystemVerilog/UVM testbenches; write directed and constrained-random tests. Drive functional coverage and assertion (SVA) closure; run a

Contract

USD 80.00 - 86.00 per hour

Digital Verification Engineer

Austin, Texas

•

Today

Full-time

USD 124,800.00 per year

Senior Verification Engineer

Austin, Texas

•

Today

Job Title: Senior Verification Engineer Location: Austin Role Summary: This position is within the MME MCU/MPU Digital IP team. We develop best-in-class digital IPs for NXP's automotive and advanced microcontroller businesses, delivering sensor and processing technologies that enable secure, connected vehicles today and autonomous vehicles of the future. Drive a "zero-defect" mindset across the verification team Provide technical leadership and guidance on complex verification challenges Men

Full-time

Custom Timing and Verification CAD Engineer

Austin, Texas

•

Today

Apple's custom silicon is among the most sophisticated in the world - and getting it right requires rigorous transistor-level timing verification and formal verification at every step. Our Custom Timing CAD team builds and owns the flows, tools, and methodologies that make that verification possible. We are looking for an entry-level engineer who is eager to learn, technically curious, and excited to work at the intersection of circuit design and CAD engineering. Description In this role, you

Full-time

Front End CAD Engineer

Austin, Texas

•

Today

Grow with us Front End CAD Engineer, Austin, Texas On-Site, Hybrid work schedule. This is not a remote work opportunity. What You'll Do. Internal support to project teams for infrastructure, flow development and EDA tools Collaborate with cross-functional teams to define verification requirements and ensure alignment with overall project goals. As a key member within the Frontend CAD department, you will play a crucial role in shaping and optimizing methodologies and EDA workflows, ensuri

Full-time

Digital Verification Engineer

South San Francisco, California

•

Today

About Neuralink: We are creating devices that enable a bi-directional interface with the brain. These devices allow us to restore movement to the paralyzed, restore sight to the blind, and revolutionize how humans interact with their digital world. Job Description & Responsibilities: We are looking for ASIC Design Verification Engineers with strong CPU, ASIC design and verification fundamentals to work in Neuralink's System-on-Chip (SoC) department under the Implant Team. This position offers

Full-time

USD 131,000.00 - 243,000.00 per year

SME - Network/Systems Engineer

No location provided

•

Today

GovCIO is currently hiring for a SME - Network/Systems Engineer to design, build, and maintain an on-premises DevSecOps pipeline and scalable network architecture in support of the Naval Criminal Investigative Service (NCIS). This position will be located in Quantico, VA and will be an onsite position. Responsibilities Gathers information concerning the capabilities of Company products; investigates the technical capabilities of Company products and competing equipment and/or solutions; stay

Full-time

USD 185,000.00 - 195,000.00 per year

Principal Product Engineer, Synthesis

San Jose, California

•

Today

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Seeking a highly motivated engineer who can drive improvement to Cadence's synthesis and place & route products from a design perspective. The position provides an excellent opportunity to work closely with the R&D team to define the roadmap of the products. Job responsibilities: Perform Product Engineering work for Genus Synthesis Solution (Genus), a logic synthesis software used for

Full-time

USD 136,500.00 - 253,500.00 per year

Principal IC SoC Integration and Design Engineer

Mendota Heights, Minnesota

•

Today

Please Note: 1. If you are a first time user, please create your candidate login account before you apply for a job. (Click Sign In > Create Account) 2. If you already have a Candidate Account, please Sign-In before you apply. Job Description: The ASIC Product Division in Broadcom, a leading supplier of state-of-the-art SoC and embedded IP, is looking for qualified individuals to work in SoC and IP development programs. The candidate will be joining a high performance design team responsible

Full-time

USD 109,700.00 - 175,500.00 per year

Senior OS/Kernel Engineer

San Jose, California

•

Today

JOB DESCRIPTION About NIO NIO is a pioneer and a leading company in the premium smart electric vehicle market. Founded in November 2014, NIO's mission is to shape a joyful lifestyle. NIO aims to build a community starting with smart electric vehicles to share joy and grow together with users. NIO designs, develops, jointly manufactures and sells premium smart electric vehicles, driving innovations in next-generation technologies in autonomous driving, digital technologies, electric powertrains

Full-time

USD 143,200.00 - 186,000.00 per year