Coherent
The Formal Verification Engineer at NVIDIA verifies the design and implementation of industry-leading GPUs, contributing to product lines ranging from consumer graphics to artificial intelligence. This role involves using formal verification algorithms to prove the correctness of complex logic and developing automated flows to improve team efficiency. The position requires strong analytical and coding skills to collaborate with distributed teams and produce bug-free silicon products.
Headquarters
Saxonburg, Pennsylvania, United States
Company Size
10001+ employees
Founded
1971
Coherent is a global leader in lasers, photonics, engineered materials and networking technologies, providing lasers, optical components, subsystems and materials to industrial, communications, electronics and instrumentation markets. The company develops high‑performance laser systems and photonic solutions for applications such as materials processing, microelectronics, fiber‑optic communications, sensing and scientific research. Combining extensive R&D, global manufacturing and application engineering, Coherent delivers customized systems, components and support that enable customers’ breakthrough technologies worldwide.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Coherent.
Coherent didn’t post a salary, so this is our estimate from similar listings.
Formal Verification Engineer
NVIDIA
Formal Verification Engineer New College Graduate Hungary Budapest
NVIDIA
Senior Formal Verification Engineer Us Ca Santa Clara
NVIDIA
Formal Verification Engineer
NVIDIA
Formal Verification Engineer
NVIDIA
Formal Verification Engineer New College Grad 2026 Us Tx Austin
NVIDIA