Formal Verification jobs in Austin, TX

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

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

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

Verification Engineer

Sunset Valley, Texas

•

9d ago

Job 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 verification Expertise i

Easy Apply

Third Party, Contract

Depends on Experience

PD Engineer, Annapurna Labs

Austin, Texas

•

Today

As a member of the Cloud-Scale Machine Learning Acceleration team you?ll be responsible for the design and optimization of Hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost.You?ll provide leadership in the application of new technologies to large scale deployments in a continuous effort to deliver a world-class customer experience. This is a fast-paced, intellectually challengi

Full-time

ASIC Engineer, Annapurna Labs

Austin, Texas

•

Today

Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries.Custom SoCs (System on Chip) live at the heart of AWS Machine Learning servers. As a member of the Cloud-Scale Machine Learning Acceleration team you?ll be responsible for the design and optimization of h

Full-time

Senior SoC Verification Engineer

Austin, Texas

•

30+d ago

Job Overview: Arm's Solution Engineering team is very thrilled to work with SoC verification engineers in Austin! New team members in Austin will join hands with other RTL design and verification engineers spread across UK, US, France and India & Canada to build best in class SoC's! Arm is building a team to develop best-in-class silicon demonstrators based on Arm's IP compute sub-system solutions targeting premium mobile, infrastructure and automotive markets. Using the latest nodes (e.g. 3nm

Full-time

USD 161,500.00 - 218,500.00 per year

Performance Modeling Engineer Processor, AI Accelerator, and SoC Architecture- Sr.Staff

Austin, Texas

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > DSP Architecture and Design General Summary: We are seeking an experienced Performance Modeling Engineer to drive architectural exploration, performance analysis, and system-level optimization for next-generation processors, AI accelerators, and SoC platforms. The ideal candidate will have deep expertise in processor architecture, memory systems, cache hierarchies, coherent interconnects, and transaction-lev

Full-time

USD 191,800.00 - 287,800.00 per year

GPU Implementation Engineer(Austin & San Diego)

Austin, Texas

•

Today

Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group > GPU ASICS 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 GPU Engineer, you may architect, design, implement, verify, and/or optimize the performance and power of GPU cores. Qualcomm Engineers collaborate

Full-time

USD 161,800.00 - 242,600.00 per year

ASIC/SOC DFT Engineer (Silicon Engineering)

Austin, Texas

•

Today

SpaceX was founded under the belief that a future where humanity is out exploring the stars is fundamentally more exciting than one where we are not. Today SpaceX is actively developing the technologies to make this possible, with the ultimate goal of enabling human life on Mars. ASIC/SOC DFT ENGINEER (SILICON ENGINEERING) At SpaceX we're leveraging our experience in building rockets and spacecraft to deploy Starlink, the world's most advanced broadband internet system. Starlink is the world's

Full-time

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

Security IP Verification Engineer

Austin, Texas

•

30+d ago

Job Description: Our Arm Security IP Team is seeking creative and enthusiastic Design Verification Engineers to join our team. We have exciting opportunities in our team for verification engineers with demonstrated expertise in Security Design Verification including Cryptography, Key Management, Embedded Microprocessor Systems, Hardware Root of Trust, and Secure Boot. You will contribute to the design specification, test planning, testbench development, verification, and productization of Secur

Full-time

USD 161,500.00 - 218,500.00 per year

Principal DFT Engineer (Silicon Engineering)

Austin, Texas

•

Today

SpaceX was founded under the belief that a future where humanity is out exploring the stars is fundamentally more exciting than one where we are not. Today SpaceX is actively developing the technologies to make this possible, with the ultimate goal of enabling human life on Mars. PRINCIPAL DFT ENGINEER (SILICON ENGINEERING) At SpaceX we're leveraging our experience in building rockets and spacecraft to deploy Starlink, the world's most advanced broadband internet system. Starlink is the world'

Full-time

Test Engineer, Senior

Remote or Orlando, Florida

•

Today

Overview The Senior Test Engineer provides leadership and oversight for test engineering activities on a complex technical program and is responsible for managing the test engineering team, developing test strategies and plans, and coordinating closely with government test management. This position leads the planning, preparation, execution, analysis, and reporting of developmental, integration, system, qualification, and operational test activities to ensure systems and capabilities are verifi

Full-time

USD 150,000.00 per year

Senior NPI Controls Engineer - Energy Storage Systems

Remote or Niskayuna, New York

•

Today

Job Description Summary The Senior Controls Engineer - Energy Storage Systems serves as a key member of the New Product Introduction (NPI) Controls Engineering Team within GE Vernova, operating in a global and collaborative environment. This role is responsible for developing and delivering innovative controls solutions for new Energy Storage initiatives while driving the continuous improvement of existing Solar & Storage Solutions. Scope of responsibility includes, but is not limited to, AC and

Full-time

USD 113,200.00 - 188,800.00 per year

Digital Employee Experience (DEX) Engineer

Remote

•

Today

The Mission Driver Enablement Center (MDEC) in Leidos is seeking an experienced Digital Employee Experience (DEX) Engineer. This is a fully remote position open to candidates located anywhere in the United States. CLEARANCE REQUIREMENT: Must be able to obtain and maintain a Public Trust with ability to obtain Secret or higher, as needed, SHIP REQUIRED. POSITION SUMMARY: The ideal candidate brings deep Nexthink expertise, having progressed beyond platform administration into engineering, auto

Full-time

USD 87,100.00 - 157,450.00 per year

Senior Windows Server Engineer

Remote

•

Today

The Leidos Mission Driver Enablement Center (MDEC) Infrastructure Operations Team has an opening for a Senior Windows Server Engineer to support our Enterprise IT Operations Center. POSITION SUMMARY: This is a great opportunity to work with an elite team of server and systems professionals to maintain a secure environment for critical systems. Bring your own experience and work with our team to teach and learn while building, maintaining, and supporting our customers' environment. LOCATION: Th

Full-time

USD 92,300.00 - 166,850.00 per year

Digital Employee Experience (DEX) Senior Engineer

Remote

•

Today

The Mission Driver Enablement Center (MDEC) at Leidos is seeking an experienced Digital Employee Experience (DEX) Senior Engineer. This is a fully remote position open to candidates located anywhere in the United States. CLEARANCE REQUIREMENT: Must be able to obtain and maintain a Public Trust with ability to obtain Secret or higher, as needed, SHIP REQUIRED. POSITION SUMMARY: The ideal candidate brings deep Nexthink expertise, having progressed beyond platform administration into engineerin

Full-time

USD 131,300.00 - 237,350.00 per year

Software Architect - Systems

Remote

•

Today

Software Architect - Systems ABOUT WIND RIVER Wind River is a global leader in delivering software for mission-critical intelligent systems. For more than four decades, the company has been an innovator and pioneer, powering billions of systems that require the highest levels of security, safety, and reliability. Wind River helps customers across automotive, aerospace, defense, industrial, medical, and telecommunications industries solve complex technology challenges on their journey toward the

Full-time

Formal Verification jobs in Austin, TX, USA