Synthesis / Formal Verification Engineer

Visualize your future . . . We DoNVIDIA is the world leader in graphics processing technologies, creating innovative, industry-changing products for computing, consumer electronics, and mobile devices. NVIDIA products are transforming visually-rich applications such as video games, film production, broadcasting, industrial design, space exploration, and medical imaging. We invest in our people and our technologies, support and fund industry research around the world, and consistently deliver high-quality products. NVIDIA's culture promotes and inspires a team of world-class employees to be at the top of their game. We've created an environment where talents are recognized and collaboration is valued. Our employees our shaping the world of tomorrow. . . today. We invite you to explore the opportunities available at NVIDIA to see what your future may hold. SYNTHESIS / FORMAL VERIFICATION ENGINEER #752868

Responsibilities:Running full chip synthesis for GPU integrated circuits Running formal verification for GPU integrated circuits Resolving design quality issues with RTL design team Working with CAD group to improve synthesis and formal verification methodologiesMinimum Requirements:BS in Electrical or Computer Engineering 3 years minimum experience with Verilog and Synopsys development environment, tools, script writing Design Experience with logic synthesis. Design Experience in formal equivalence checking. Design Experience with Static Timing Analysis preferred. Prefer experience with hands-on design implementation on very large,high-speed chips. Proficiency in Perl, Tcl, and Verilog Excellent communication skills EOE

Interested in talking with us? Please apply directly at NVIDIA.COM