NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us. If you're creative and autonomous, we want to hear from you! Applications for this job will be accepted at least until June 15, 2026. This posting is for an existing vacancy. NVIDIA uses AI tools in its recruiting processes. NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.
Senior Formal Verification Engineer
Location
Canada
Posted
121 days ago
Salary
$195K - $245K / year
Seniority
Senior
Job Description
Senior Formal Verification Engineer
NVIDIA
• Verify AI-related sophisticated ASIC designs & features with formal verification methods. • Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions. • Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities. • Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency. • Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.
Job Requirements
- BS/MS/PhD or equivalent experience in CS/CE/EE
- 12+ years in ASIC verification with 8+ years focused on formal verification methods
- Mastery of SystemVerilog Assertions (SVA) and formal property verification
- Proficient on at least one popular formal verification tool in the industry (JapserGold, VC Formal, etc.)
- Good scripting skills for flow automation (tcl, python, etc.)
Benefits
- Competitive salaries
- Comprehensive benefits package
Related Guides
Related Categories
Related Job Pages
More Engineer Jobs
• Design and implement workplace technology solutions tailored to the needs of our employees, focused on enhancing productivity and collaboration. • Support and improve a broad SaaS environment, including identity and access management, device management, collaboration tools, and internal workflows. • Lead and contribute to initiatives that improve employee productivity through process and tooling, working closely with cross-functional teams and internal stakeholders. • Maintain reliable and resilient technology services, supporting the development and upkeep of business continuity plans to ensure smooth operations during any disruptions. • Develop specialised technical expertise in workplace technologies, including collaboration and productivity tools, security, endpoint management, and end-user computing. • Partner closely with Engineering, Security, People, and Finance to deliver solutions that align with how teams work. • Improve operational maturity and tooling decisions through clearer documentation, better monitoring and metrics, and informed evaluation and procurement of platforms. • Offer expert support, guidance and troubleshooting for technical issues across our supported platforms.
Advanced Manufacturing Engineer – Assembly
Dandy Dental LabDandy oversees a platform created to help modernize the dental lab process. The company’s platform is designed to make the entire process digital from start to finish. As an empl
• Collaborate with 3rd party integrators and internal engineering teams to scale R&D solutions into high volume production processes • Drive process development work to quickly solve problems and optimize for cost, quality, and efficiency • Participate in FAT/SAT, IQ/OQ/PQ, and other commissioning activities • Activities may include writing machine specifications, evaluating proof of concept systems, conceptual machine design, developing process DOEs, and root cause analysis • Develop, validate, and document manufacturing process improvements including automation, equipment utilization, fixture design, etc., • Collaborate with broad range of technical expertise throughout the company
• Identify and correct audio artifacts, loudness inconsistencies, frequency imbalances, and sibilance issues across large-scale voice datasets. • Design and implement scalable audio processing pipelines for voice data • Define and implement scalable audio processing pipelines (EQ, compression, de-essing, dynamic range optimization) and normalization strategies across inter- and intra- voice recordings. • Optimize audio quality across real and synthetic voices to ensure a consistent product experience across multiple use cases. • Lead audio quality decisions during on-site voice actor recording sessions, including microphone selection, placement, gain staging, and environment setup. • Define, document, and enforce audio quality standards for external vendors, including recording setup requirements, signal characteristics, and post-processing expectations, ensuring vendor-produced audio meets Deepgram’s training and product needs even when recordings are not done on-site. • Convert expert-driven, manual audio workflows into automated, repeatable, code-based systems. • Collaborate closely with research to improve training data quality, especially TTS speaker-specific fine-tuning. • Contribute to synthetic data pipelines by defining and validating acoustic characteristics, guiding how different “sound profiles” should be produced and evaluated.
• Apply Lessons Learned From Domain Leaders: Bring practical, everyday lessons learned and experiences from other areas, domains and professions to this problem space. • Engineer Semantic Services: Co-design and build the Service-Oriented Architecture (SOA) components responsible for the lifecycle of semantic data. Your software enables ingestion, abstraction, curation, and publication, versioning, governance & distribution of semantic resources—encompassing formal biomedical ontologies, standard terminologies, and reference lists—integrating them directly into data-in-flight services. • Data Engineering for Continuous Modeling: Develop and deploy ETL pipelines that lift instance-level data into formal vocabularies. You will ensure these pipelines capture the nuanced aspects of the model, including complex relationships, properties, and constraints. • Living Ontology Development: Build services that project formal semantic meaning across the Tetra ecosystem, helping to formalize a "living," real-world ontology that evolves with our data and its usage. • Partner as a Force Multiplier: Collaborate with Scientific Data Engineers, Architects, and Business Leads to integrate semantic artifacts technically. You will provide subject matter expertise, coaching, and training on the governance of controlled vocabularies, ensuring formal semantics and structure are applied consistently across platform applications. • Vocabulary Management: Develop software enabling management of the full lifecycle of our formal vocabularies. You will implement robust systems for versioning, deprecating, and migrating vocabularies across our customer base to ensure seamless operations. • Engineering Mentorship: Serve as the "Informatics SME" for the engineering organization. You will partner with and mentor technical team members—ranging from pure software engineers to scientists—on how to leverage semantic artifacts to provide data with formal definitions, meaning, and context. • Data Exchange Standards: Co-design the "handshake" protocols for data exchange between platform components. You will iteratively develop these standards to ensure that data leaving one system is deterministically understood by another, handling the complex mapping and transformation logic required for true syntactic and semantic interoperability.




