Senior Formal Verification Engineer

🕒 Fevereiro 10

🇨🇦 Canadá – Remoto

💵 $195.000 - $245.000 / ano

⏰ Tempo Integral

🟠 Sênior

👷🏻‍♀️ Engenheiro

👻 Score fantasma 36%

infoinfo

🗣️🇺🇸🇬🇧 Inglês obrigatório

Candidatar-se
Encontrar Vagas Remotas Similares

📊 Verifique sua pontuação de currículo para esta vaga

Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

Logo of NVIDIA

NVIDIA

10.000+ funcionários

Fundada em 1993

🏥 Saúde

🏭 Manufatura

🤖 Inteligência Artificial

Healthcare • Manufacturing • Artificial Intelligence

A NVIDIA é uma empresa de tecnologia líder, especializada em computação acelerada e inteligência artificial. A companhia é pioneira em avanços em unidades de processamento gráfico (GPUs), computação em nuvem, data centers e realidade virtual, com foco nos setores de games, automotivo, saúde e robótica. As inovações da empresa, como o NVIDIA Omniverse, transformam processos digitais tradicionais ao viabilizar simulações de alta fidelidade e tarefas de renderização. Suas aplicações abrangem diversos setores, desde veículos autônomos com o NVIDIA DRIVE até soluções de saúde com o NVIDIA Clara, além de análises e fluxos de trabalho impulsionados por IA.

Descrição

• 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.

🎯 Requisitos

• 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.)

🏖️ Benefícios

• Competitive salaries • Comprehensive benefits package

Candidatar-se

Vagas Similares

🕒 Janeiro 23

Xsolla

201 - 500

💼 Consultoria

📣 Marketing

📦 Logística

Senior FinOps Engineer leading and maturing financial management capabilities across GCP, AWS, and on-prem environments at Xsolla. Driving cost transparency and partnering with various teams for efficiency.

🇨🇦 Canadá – Remoto

💵 $115.000 - $140.000 / ano

⏰ Tempo Integral

🟠 Sênior

👷🏻‍♀️ Engenheiro

🗣️🇺🇸🇬🇧 Inglês obrigatório

🕒 Janeiro 23

Xsolla

201 - 500

💼 Consultoria

📣 Marketing

📦 Logística

Infrastructure Engineer focusing on cost optimization and data migration at Xsolla. Join a global commerce company serving the video game industry.

🇨🇦 Canadá – Remoto

💵 $130.000 - $155.000 / ano

⏰ Tempo Integral

🟡 Pleno

🟠 Sênior

👷🏻‍♀️ Engenheiro

🗣️🇺🇸🇬🇧 Inglês obrigatório

🕒 Janeiro 20

Xsolla

201 - 500

💼 Consultoria

📣 Marketing

📦 Logística

Video Streaming Engineer passionate about building high-performance video streaming solutions at Xsolla. Responsible for optimizing and maintaining video streaming infrastructure for global audiences.

🇨🇦 Canadá – Remoto

💵 $130.000 - $160.000 / ano

⏰ Tempo Integral

🟡 Pleno

🟠 Sênior

👷🏻‍♀️ Engenheiro

🗣️🇺🇸🇬🇧 Inglês obrigatório

🕒 Janeiro 19

Tiger Analytics

1001 - 5000

🏥 Saúde

📦 Logística

📣 Marketing

GenAI Engineer at Tiger Analytics developing and deploying advanced Generative AI systems. Collaborating with a global team to advance AI solutions for Fortune 1000 companies.

🇨🇦 Canadá – Remoto

⏰ Tempo Integral

🟡 Pleno

🟠 Sênior

👷🏻‍♀️ Engenheiro

🗣️🇺🇸🇬🇧 Inglês obrigatório

🕒 Dezembro 23, 2025

H2O Innovation

1001 - 5000

🏭 Manufatura

💼 Consultoria

🍽️ Alimentos e Bebidas

Senior Process Engineer at H 2 O managing water treatment design projects across North America. Performing design and cost estimations while ensuring compliance with regulations and best practices.

🇨🇦 Canadá – Remoto

⏰ Tempo Integral

🟠 Sênior

👷🏻‍♀️ Engenheiro

🗣️🇺🇸🇬🇧 Inglês obrigatório