NVIDIA
10,000+ employees
Founded 1993
🤖 Artificial Intelligence
🎮 Gaming
Artificial Intelligence • Gaming • Automotive
NVIDIA is a leading technology company specializing in accelerated computing and artificial intelligence. NVIDIA pioneers advancements in graphical processing units (GPUs), cloud computing, data centers, and virtual reality, with a focus on gaming, automotive, healthcare, and robotics industries. The company's innovations, such as NVIDIA Omniverse, transform traditional digital processes by enabling high-fidelity simulations and rendering tasks. Their applications span various industries, from autonomous vehicles using NVIDIA DRIVE to healthcare solutions with NVIDIA Clara, and AI-driven analytics and workflows.
Senior Formal Verification Engineer
🕒 April 22
⛰️ Colorado, Oregon, +2 more states – Remote
💵 $136k - $218.5k / year
⏰ Full Time
🟠 Senior
👷🏻♀️ Engineer
🦅 H1B Visa Sponsor
📊 Check your resume score for this job
Improve your chances of getting an interview by checking your resume score before you apply.
NVIDIA
10,000+ employees
Founded 1993
🤖 Artificial Intelligence
🎮 Gaming
Artificial Intelligence • Gaming • Automotive
NVIDIA is a leading technology company specializing in accelerated computing and artificial intelligence. NVIDIA pioneers advancements in graphical processing units (GPUs), cloud computing, data centers, and virtual reality, with a focus on gaming, automotive, healthcare, and robotics industries. The company's innovations, such as NVIDIA Omniverse, transform traditional digital processes by enabling high-fidelity simulations and rendering tasks. Their applications span various industries, from autonomous vehicles using NVIDIA DRIVE to healthcare solutions with NVIDIA Clara, and AI-driven analytics and workflows.
📋 Description
• Verifying AI-related sophisticated ASIC builds & features using advanced formal verification methods • Collaborating closely with architecture and RTL teams to specify properties and resolve complex issues • Applying formal verification to rigorously ensure critical build properties align with specifications • Articulating formal verification coverage to partners • Developing advanced formal verification environments and methodologies for complex ASIC designs • Supporting silicon bring-up and debug using formal methods where applicable
🎯 Requirements
• BS/MS/PhD or equivalent experience in CS/CE/EE • 5+ years in ASIC verification with 3+ years passionate about formal verification methods • Proficiency in SystemVerilog Assertions (SVA) and formal property verification • Experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.) • Excellent skills in applying AI tools in daily engineering work to efficiently solve problems • Strong written and oral communication skills • Keen attention to detail
🏖️ Benefits
• competitive salaries • comprehensive benefits package • equity opportunities
Apply NowSimilar Jobs
🕒 April 21
Senior Cyber Defense Engineer at Emory University managing information security disciplines and operations in cloud and on-premise environments.
Cloud
🕒 April 21
CI Engineer maintaining CI and testing infrastructure for a global team focused on async-friendly culture at Metabase.
🇺🇸 United States – Remote
💰 $30M Series B on 2021-05
⏰ Full Time
🟡 Mid-level
🟠 Senior
👷🏻♀️ Engineer
🦅 H1B Visa Sponsor
Cypress
Docker
JavaScript
Jest
Shell Scripting
🕒 April 21
Lead Systems HPC Engineer optimizing large-scale GPU clusters at Nebius, enhancing performance across hardware and software in cloud computing.
Linux
Python
Go
🕒 April 21
Natural Gas Engineer supporting Natural Gas Distribution Service Operations projects throughout Colorado. Collaborating on engineering design, compliance, and quality assurance with minimal supervision.
🕒 April 21
Senior Cyber Defense Engineer managing incident response and security operations at Emory University. Analyzing security incidents and providing guidance across information security domains.
Cloud
