Senior Formal Verification Engineer

NVIDIA

NVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photoNVIDIA work environment photo

Job Description

We are now looking for a Senior Formal Verification Engineer

We are currently seeking an experienced design/verification engineer with strong formal verification fundamentals to work in Nvidia’s multimedia team.

This position will have you crafting and optimizing formal verification flows across multiple IP teams/projects and resolving tool issues for design teams with tool vendors. Additionally, you'll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques. You will be expected to understand the design & implementation, define the verification scope, and ensure design correctness. You will use advanced formal techniques to obtain full proofs, or sufficient bounded proofs, of the design while working with architects, designers, verification teams to accomplish your tasks. You must be capable of leading the formal verification effort, coordinating verification coverage across functional groups, and clearly conveying verification results and holes to our team.

What you'll be doing:

  • The specification, implementation, and maintenance of an integrated end-to-end formal verification flow
  • Interact with Vendors on tool-related issues and provide guidance for tool improvements.
  • Guide and train team members on effective usage of FV tools.
  • Developing scripts to automate the formal process.
  • Review formal setups and proofs with design and verification teams.
  • Identifying key behaviors for verification of DUT and creating a verification plan.
  • Developing verification environment including environment assumptions, assertions and cover properties in the verification plan.
  • Applying various FV techniques to prove correctness of digital designs.

What we need to see:

  • Minimum of 3+ years of hand-on experience on formal techniques for verification.
  • Strong problems solving capability.
  • Good understanding of abstraction techniques for effective verification.
  • Hands-on experience with Verilog / System Verilog
  • Understanding of temporal logic assertions.
  • Preferable experience with a variety of Formal Verification Tools (e.g. IFV, VC_STATIC)
  • Strong communication skills
  • Having experience in formal verification on CPU or security is a big plus.

Salary

40K+ TWD/month

Share this Job

Please Sign in or Register to get your personal invite link.

NVIDIA

台北市內湖區基湖路8號

About us

NVIDIA 以其革命性產品 GPU 為核心,協助全球開發者與研究人員進行人工智慧、機器學習與視覺運算的創新與應用,深耕電競、專業視覺化、資料中心與自駕車四大領域,除了硬體上的支持,NVIDIA 也針對各項重點市場提供軟體、作業平台與開發者套件,同時舉辦包含GPU技術大會與深度學習實作坊在內的教育訓練與講座,持續開發新技術並拓展相關市場。 NVIDIA’s invention of the GPU in 1999 sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI — the next era of computing — with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, NVIDIA is increasingly known as “the AI computing company.”

See more

Learn more

Team

Default avatar

Similar Jobs

Front-End Web Developer

Arc & Codementor - Full-timeMid-Senior level60K ~ 120K TWD/monthUpdated 11 days ago

行政_前端/後端工程師

中國信託商業銀行CTBC BANK - Full-timeMid-Senior level650K ~ 1M TWD/yearUpdated 4 months ago

CakeResume Job Search

Tens of thousands of jobs listings. Salary transparency. Accurate and instant search experience.

Other Popular Jobs at NVIDIA

Technology Jobs

[2020 NCG 新鮮人預聘] Embedded System Software Engineer - Tegra

Full-timeAssociate40K+ TWD/monthUpdated 28 days ago

[2020 NCG 新鮮人預聘] Software Engineer, Jetson Embeeded Platform

Full-timeAssociate40K+ TWD/monthUpdated 28 days ago

[2020 NCG 新鮮人預聘] Silicon Solution Engineer

Full-timeAssociate40K+ TWD/monthUpdated 28 days ago

[2020 NCG 新鮮人預聘] GPU System Software Engineer

Full-timeAssociate40K+ TWD/monthUpdated 28 days ago

GPU Software Application Engineer

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Developer Technology Engineer - AI Software

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

DFT Engineer

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior ASIC Design Engineer (Video)

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior ASIC Design Engineer (CPU)

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior CPU/Security Architect

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Video Architect

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Verification Engineer (Video)

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Verification Engineer (ISP)

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Mixed Signal/Analog Circuit Design Engineer

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Mask Layout Design Engineer

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Logic and Digital Circuit Design Engineer

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Senior Mixed Signal Design Verification Engineer

Full-timeMid-Senior level40K+ TWD/monthUpdated 28 days ago

Marketing & Business Development Jobs

APAC Web Content Manager

Full-timeAssociate40K+ TWD/monthUpdated 28 days ago