Minimum qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 10 years of experience with verification methodologies and languages such as UVM and SystemVerilog. Experience developing and maintaini
Minimum qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 10 years of experience with verification methodologies and languages such as UVM and SystemVerilog. Experience developing and maintaini
Minimum qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 10 years of experience with verification methodologies and languages such as UVM and SystemVerilog. Experience developing and maintaini
Minimum qualifications Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. 4 years of experience with formal and design verification. Experience with SystemVerilog or Verilog. Experience working with one or more
A leading technology company is seeking an ASIC Formal Verification Engineer to drive innovative TPU technology that enhances AI/ML applications. This role requires expertise in formal verification and a solid background in digital design. Responsibilities include planning verification strategies an
MINIMUM QUALIFICATIONS: * Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. * 8 years of experience in silicon development or ASIC/SoC design. * Experience with SystemVerilog Assertions (SVA), and formal verif
VLSI engineer II This role has been designed as ‘Hybrid’ with an expectation that you will work on average 2 days per week from an HPE office. Who We Are: Hewlett Packard Enterprise is the global edge-to-cloud company advancing the way people live and work. We help companies connect, protect, analyz
VLSI engineer II This role has been designed as ‘Hybrid’ with an expectation that you will work on average 2 days per week from an HPE office. Who We Are: Hewlett Packard Enterprise is the global edge-to-cloud company advancing the way people live and work. We help companies connect, protect, analyz
VLSI engineer II This role has been designed as ‘Hybrid’ with an expectation that you will work on average 2 days per week from an HPE office. Who We Are: Hewlett Packard Enterprise is the global edge-to-cloud company advancing the way people live and work. We help companies connect, protect, analyz
Formal Verification Engineer About the Role We are seeking a Formal Verification Engineer with deep expertise in FV methodologies and commercial tools to define and drive formal strategies that ensure first-pass silicon success. This role is focused on formal sign-off across complex IP and SoC desig
Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs’ Intelligent Connectivity Platform integr
We are seeking a highly skilled Formal Verification Engineer to define and drive formal strategies that ensure first-pass silicon success. You will own the sign-off approach across complex IP and SoC designs, leveraging advanced formal techniques to tackle the most challenging verification problems.
About Voltai Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. We are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits. Ab
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
Our Mission At Palo Alto Networks®, we’re united by a shared mission—to protect our digital way of life. We thrive at the intersection of innovation and impact, solving real-world problems with cutting-edge technology and bold thinking. Here, everyone has a voice, and every idea counts. If you’re re
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 contribut
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 id
## **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 proc
On-site
1 months ago
Estimated salary for Formal Verification in Sunnyvale
$40,000 – $63,000/year
Estimation confidence: Low
Estimate based on market data for Sunnyvale. Actual salaries may vary depending on experience, company, and area.