Description
Are you ready to be part of a team that is pushing the boundaries of AI and computing? At NVIDIA, we value innovation, collaboration, and excellence. Join our outstanding team as a Senior Formal Verification Engineer and be at the forefront of developing modern technology that builds the future.
As a Senior Formal Verification Engineer, you will be verifying AI-related sophisticated ASIC builds & features using advanced formal verification methods. You will collaborate closely with architecture and RTL teams to specify properties, resolve complex issues in building, and influence micro-architecture decisions. You will apply formal verification to rigorously ensure critical build properties align with specifications and minimize ambiguities. You will articulate formal verification coverage to partners. You will develop advanced formal verification environments and methodologies for complex ASIC designs, including building automated flows for scalability and efficiency. You will support silicon bring-up and debug using formal methods where applicable.
We are looking for a highly skilled and experienced engineer with a strong background in formal verification methods. You should have a BS/MS/PhD or equivalent experience in CS/CE/EE. You should have 5+ years in ASIC verification with 3+ years passionate about formal verification methods. You should be proficient in SystemVerilog Assertions (SVA) and formal property verification. You should have experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.). You should have excellent skills in applying AI tools in daily engineering work to efficiently solve problems. You should have strong written and oral communication skills. You should have keen attention to detail.
Widely considered to be one of the technology world's most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package. As you plan your future, see what we can offer to you and your family www.nvidiabenefits.com/