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

Formal Verification

Ben Lomond, California

•

9d ago

JOB DUTIES: Participate in the functional verification of a block(s) of complex ASICs and/or IP cores for a combined CPU/GPU development effort. Be part of a team of design and verification engineers, working closely with other team members to understand and verify the functionality of a given design element within the context of the block, chip and overall system. Be responsible for carefully documenting and executing test plan(s) consisting of directed and constrained-random tests to be run du

Easy Apply

Third Party, Contract

Depends on Experience

Design Verification (DV) engineer

Remote

•

2d ago

Design Verification (DV) engineerRemote USA.ContractJob SummaryExperienced Design Verification (DV) engineer for an upcoming IP verification project.Scope of Work:Development of a comprehensive verification plan based on hardware requirements.Design, integration, and maintenance of UVM-based testbench components.Development of constrained-random test cases, sequences, and assertion-based checkers.Application of AI-based verification methods and productivity tools where appropriate.Execution of v

Easy Apply

Contract

65 - 70

Lead Formal Verification Engineer

Austin, Texas

•

Today

ADVANCE YOUR CAREER. ADVANCE THE WORLD. At AMD, we believe technology has the power to solve the world's most important challenges. From advancing healthcare and scientific discovery to powering AI and the technologies people rely on every day, innovation at AMD is shaping the future. Whether you're designing next-gen processors, enabling AI breakthroughs, or bringing leading edge products to market, every role at AMD contributes to something bigger - technology that moves the world forward. Joi

Full-time

USD 175,000.00 per year

GPU Formal Verification Engineer

Austin, Texas

•

Today

Do you love creating elegant solutions to highly complex challenges? Do you intrinsically see the importance in every detail? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC). You'll ensure Apple products and services can seamlessly and efficiently handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the techn

Full-time

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 147,900.00 - 221,900.00 per year

Verification Engineer

Austin, Texas

•

Today

Job Description Description: Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence) Strong proficiency in System Verilog Assertions (SVA) and formal property specification Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis Familiarity with scripting languages (TCL, Python, Perl) for flow automation Extensive experience in design verification with a strong focus on formal verificatio

Full-time

ASIC/SoC Verification Architect – Short Supplier

St. Louis, Missouri

•

23d ago

Key Requirements: 10+ years of experience in ASIC/SoC verification and verification architecture. Strong hands-on SystemVerilog, UVM, Verilog, and constrained-random verification. Experience developing verification strategies, test plans, testbenches, coverage models, and verification environments. Strong knowledge of SoC architecture, RTL, CPU/processor, interconnects, memory, and IP verification. Experience with UVM/SystemVerilog assertions, functional/code coverage, simulation, and debugging.

Easy Apply

Contract

Up to 160

Engineer, OEM Product Test

Irvine, California

•

Today

Bring more to life. Are you ready to accelerate your potential and make a real difference within life sciences, diagnostics and biotechnology? At Masimo, one of Danaher's 15+ operating companies, our work saves lives-and we're all united by a shared commitment to innovate for tangible impact. You'll thrive in a culture of belonging where you and your unique viewpoint matter. And by harnessing Danaher's system of continuous improvement, you help turn ideas into impact - innovating at the speed

Full-time

USD 70,000.00 - 100,000.00 per year

Senior Network/Systems Engineer

Quantico, Virginia

•

Today

Overview: GovCIO is currently hiring for a Network/Systems engineerto sustain and maintain the NCIS Enterprise and Cyber Security defensive cyber posture and enterprise business applications. This position will be located in Quantico, VAand 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; stays abreast of developments in hardware

Full-time

Compensation information provided in the description

Senior Network/Systems Engineer

Quantico, Virginia

•

Today

GovCIO is currently hiring for a Network/Systems engineer to sustain and maintain the NCIS Enterprise and Cyber Security defensive cyber posture and enterprise business applications. 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; stays abreast of developments in hardware and so

Full-time

USD 145,000.00 - 150,650.00 per year

CPU Server FV/CLP/STA engineer

Santa Clara, California

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > CPU Engineering General Summary: As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm Hardware Engineer, you will plan, design, optimize, verify, and test electronic systems, bring-up yield, circuits, mechanical systems, Digital/Analog/RF/op

Full-time

USD 147,900.00 - 221,900.00 per year

Low-Power & CDC Verification Engineer

Santa Clara, California

•

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 103,600.00 per year

Principal Verification Engineer

Austin, Texas

•

Today

Job Title: Principal 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

Full-time

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

Network Engineer

San Antonio, Texas

•

Today

GovCIO is currently hiring a Network Engineer in support of the Air Force SCI network enterprise. This position will be located in San Antonio TX and will be an on-site 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 requirements based on customer description, system pl

Full-time

USD 115,000.00 - 125,000.00 per year

Linux Systems Administrator

Chantilly, Virginia

•

Today

Job Title: Linux Systems Administrator Job Category: Information Technology Time Type: Full time Minimum Clearance Required to Start: TS/SCI with Polygraph Employee Type: Regular Percentage of Travel Required: None Type of Travel: None * * * The Opportunity: CACI is seeking a Linux Systems Administrator to support a long term, multi-year, high performing program. A qualified candidate will assist in the installation, configuration and deployment of a new PeopleSoft implementation. Resp

Full-time

USD 90,300.00 - 189,600.00 per year

Senior Debug Verification Engineer

San Jose, California

•

Today

Job Details: Job Description: About Altera At Altera , our independence as the world's largest pure-play FPGA solutions provider gives us the focus, speed, and agility to innovate without compromise. With more than four decades of industry-leading FPGA expertise, our singular mission is to deliver the programmable technologies that help customers differentiate, innovate, and scale across rapidly evolving markets like AI, cloud, networking, and edge. As an independent company, we move faster,

Full-time

USD 149,100.00 - 215,000.00 per year

Senior/Staff Embedded Software Engineer - C++ (San Diego, CA)

San Diego, California

•

Today

Job Title Senior/Staff Embedded Software Engineer - C++ (San Diego, CA) Job Description Senior/Staff Embedded Software Engineer - C++ (San Diego, CA) You will work on the development of Intravascular Ultrasound Systems. As a member of an international cross-functional team, you work closely together with electrical engineers, transducer engineers, software engineers, system engineers, and ultrasound engineers. Your role: Being a key contributor to the development of medical capital equipment

Full-time

USD 128,520.00 - 205,632.00 per year

ASIC Verification Engineer

San Jose, California

•

Today

At Cornelis we're building the future of AI and HPC networking with an AI-first approach to silicon and software development. We're seeking engineers who are energized by working on cutting-edge ASIC design and distributed software systems, and who are motivated to push the boundaries on how AI can transform everything from chip architecture to system performance at scale. Cornelis Networks delivers the world's highest performance scale-out networking solutions for AI and HPC datacenters. Our d

Full-time