Formal Verification jobs

Research Intern - Systems for Reliable and Scalable AI Agents

Redmond, Washington

•

Today

Overview Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by globally-recognized scientists and engineers, who pursue innovation in a range of scientific and technical disciplines to help solve complex challenges in diverse fields, including computing, healthcare, economics, and the environment. Are you passionate about shaping the future of AI agents? Do you thrive at the intersection of cutting-edge ML and sy

Full-time

USD 6,710.00 - 13,270.00 per month

Senior Computer Systems Engineer/Architect

Remote

•

Today

Overview GovCIO is currently hiring a Senior Computer Systems Engineer/Architect to support our with our US Coast Guard program. This position will be located within United States and will and will be a full remote position. Responsibilities Gathers information concerning the capabilities of Company products; investigates the technical capabilities of Company products and competing equipment and/or solutions; stays abreast of developments in hardware and software. Generates quantifiable requi

Full-time

USD 120,000.00 - 136,000.00 per year

STA /Synthesis Engineer

San Jose, California

•

Yesterday

Job Title: Senior STA Engineer Location: Bay Area, CA Job Description: We're looking for an experienced STA engineer with expertise in synthesis, formal verification, and timing closure. The ideal candidate will have advanced skills in Static Timing Analysis (STA) and be able to work independently on block-level timing closure. Key Responsibilities: - Perform STA and timing closure at block level - Collaborate with designers to understand design intent and optimize timing - Analyze and fix

Easy Apply

Third Party, Contract

Depends on Experience

Formal Verification Engineer

Austin, Texas

•

Today

WHAT YOU DO AT AMD CHANGES EVERYTHING At AMD, our mission is to build great products that accelerate next-generation computing experiences-from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create something extraordinary. When you join AMD, you'll discover the real differentiator is our culture. We push the limits of innovation to solve the wo

Full-time

USD 103,950.00 per year

Lead Formal Verification Engineer

Austin, Texas

•

Today

Full-time

USD 149,800.00 per year

Senior Staff Formal Verification Engineer

San Diego, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > GPU ASICS Engineering General Summary: QCT's Digital ASIC design team delivers cutting edge hardware and software products that power the user experience and graphics content of the most advanced mobile devices on the market. Graphics formal verification positions involve the developing high-quality formal verification test benches to verify complex designs in GPU. Position involves working with design, imp

Full-time

USD 195,200.00 - 292,800.00 per year

Formal Verification Staff Engineer

Santa Clara, California

•

Today

Full-time

USD 139,860.00 per year

Software Safety Engineer

Stafford, Virginia

•

Today

Job ID: 2512180 Location: STAFFORD, VA, US Date Posted: 2025-12-08 Category: Engineering and Sciences Subcategory: Sys Safety Engr Schedule: Full-time Shift: Day Job Travel: Yes, 10 % of the Time Minimum Clearance Required: Secret Clearance Level Must Be Able to Obtain: None Potential for Remote Work: No Description SAIC is seeking a Software Safety Engineer with an active Secret clearance in Stafford, VA. A successful candidate will work as part of a team and leverage software experi

Full-time

Senior Formal Verification Engineer

Santa Clara, California

•

Today

Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI capabilities into formal verification tasks. As a part of this team, you will play a key role in ensuring functional correctness and completeness of our next generation chips as well as enhancing formal verification flows and developing AI agents to improve productivity across teams in terms of deployment of various formal verification techn

Full-time

USD 136,000.00 per year

Verification Engineer

San Jose, California

•

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: You will be joining Broadcom's custom silicon division, working on IPs for ASIC products such as custom AI chips. This position is responsible for IP and subsystem verification, including SerDes and processor subsystem among many other IPs. Requiremen

Full-time

USD 141,300.00 - 226,000.00 per year

Engineering Technician - Electrical

Waukesha, Wisconsin

•

Today

Job Description Summary As an Electrical Engineering Technician, you will work with Engineering Teams to test, troubleshoot, and rework electrical designs utilized in MRI scanners. This hands-on role will require problem solving, soldering skills, utilization of a wide variety of lab equipment. A successful candidate should have a strong willingness to learn and develop expertise under guidance of other technicians and engineers. This role is full time in person (5 days/wk). Job Description R

Full-time

Sr. Principal Solutions Engineer - Front End

Austin, Texas

•

Today

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Cadence Solutions (North America) team is looking for an experienced candidate to lead Front End Design projects. This is a challenging and rewarding opportunity is for a highly motivated engineer with a passion for innovation and a proven track record of success in the semiconductor industry. This is a leadership role where you will be responsible for: Technical Leadership: Guide an

Full-time

Deputy Chief Engineer

Alexandria, Virginia

•

Today

Overview WANTED: A Deputy Chief Engineer with demonstrated experience in digital engineering and working within DoW programs. Desired experience in systems analysis, test and evaluation, and working with new technology and innovative efforts. Leadership experience required assist management of an energetic staff of engineers during a dynamic period ar DoW. As part of the engineering staff of the Chief Engineer, Developmental Test, Evaluation, and Assessments (DTE&A) you will: Work to evaluate a

Full-time

USD 129,800.00 per year

Power Management Design Engineer

San Diego, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > ASICS Engineering General Summary: As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives communication and data processing transformation to help create a smarter, connected future for all. Candidate will be responsible for design/developing next generation power control systems. Candidate will be working on ASIC based on the la

Full-time

USD 140,000.00 - 210,000.00 per year

Test Validation Engineer

Mountain View, California

•

Today

Who We Are Nuro is a self-driving technology company on a mission to make autonomy accessible to all. Founded in 2016, Nuro is building the world's most scalable driver, combining cutting-edge AI with automotive-grade hardware. Nuro licenses its core technology, the Nuro Driver , to support a wide range of applications, from robotaxis and commercial fleets to personally owned vehicles. With technology proven over years of self-driving deployments, Nuro gives the automakers and mobility platforms

Full-time

USD 132,300.00 - 198,450.00 per year

Microprocessor Cache Verification Engineer

Fort Collins, Colorado

•

Today

Full-time

USD 103,950.00 per year

Infinity Fabric Verification Engineer

Austin, Texas

•

Today

Full-time

USD 121,940.00 per year

CAD and PPA Methodology Engineer

San Diego, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > GPU ASICS Engineering General Summary: As a member of the Graphics team, the successful applicant will help develop new flows/methodologies and algorithms to improve power, performance and area (PPA) on state-of-the-art GPU cores while working closely with the graphics microarchitecture design and implementation teams. The successful candidate will possess basic understanding of RTL design and ASIC design fl

Full-time

USD 161,800.00 - 242,600.00 per year

Applications Engineering, Sr Staff Engineer - RTL2GDS Application Specialist

Sunnyvale, California

•

Today

Descriptions & Requirements Job Description and Requirements We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation. You Are: You are an accompl

Full-time

ASIC/FPGA Principal Verification Engineer VI

Alabama

•

Today

Job Description Join Our Team as a ASIC/FPGA Verification Engineer where you will work on the development of a sophisticated state-of-the-art avionics product in a world class Integrated Product Development environment. Location: This position is fully remote; the preferred candidate will be expected to work a flexible 9x80 schedule. About Us: By bringing together people that use their passion for purposeful innovation, at Lockheed Martin we keep people safe and solve the world's most comple

Full-time

USD 170,900.00 - 301,415.00 per year

Filter Results

Job post features

Posted date

Work settings

Employment type

Distance

Employer type

Work authorization

Formal Verification jobs