Senior Insinyur Verifikasi Formal NVIDIA telah mengubahFqatif komputasi grafis, gim PC, dan komputasi terakselerasi selama lebih dari 25 tahun. Ini merupakan warisan inovasi yang unik, ditopang teknologi hebat dan orang-orang luar biasa. Saat ini, NVIDIA memanfaatkan potensi AI tanpa batas untuk menentukan era berikutnya dalam komputasi, ketika GPU berfungsi sebagai otak komputer, robot, dan mobil otonom yang mampu memahami dunia. Melakukan sesuatu yang belum pernah sebelumnya memerlukan visi, inovasi, dan talented terbaik di dunia. Sebagai NVIDIA N, Anda akan berada dalam lingkungan yang beragam dan suportif, dengan setiap orang terinspirasi untuk memberikan kinerja terbaik. Bergabunglah dan temukan cara untuk memberikan dampak yang berkelanjutan bagi dunia. Sebagai Senior Formal Verification Engineer di NVIDIA, Anda akan memverifikasi ASIC yang dikembangkan di garis depan menggunakan perangkat lunak verifikasi formal. Anda akan menentukan cakupan verifikasi dan memastikan kebenaran desain. Tugas Anda mencakup penggunaan teknik formal sophistication untuk memperoleh pembuktian dengan batas yang memadai, bekerja sama dengan arsitek, desainer, serta tim verifikasi pra- dan pascasilikon, sekaligus meningkatkan metodologi dan alur verifikasi formal. Anda akan efisien menyelesaikan seluruh upaya verifikasi formal untuk siklus proyek, menghasilkan hasil berkualitas tinggi sesuai jadwal, serta menyampaikan hasil tersebut secara jelas kepada tim. Aktivitas utama: memverifikasi desain dan fitur ASIC kompleks yang berkaitan dengan AI menggunakan metode verifikasi formal. Kolaborasi multifungsi: bekerja sama dengan tim arsitektur/RTL untuk menentukan properti, menyelesaikan masalah desain yang kompleks, dan memengaruhi keputusan mikroarsitektur. Pelaksanaan verifikasi formal: memanfaatkan verifikasi formal untuk memverifikasi properti desain kritis secara rigor, memastikan kepatuhan terhadap spesifikasi, serta mengurangi ambiguitas spesifikasi. Cakupan verifikasi formal perlu disampaikan kepada mitra. Kepemimpinan metodologi: mengembangkan dan mengimplementasikan lingkungan serta metodologi verifikasi formal lanjutan untuk desain ASIC kompleks, termasuk alur otomatis untuk meningkatkan skalabilitas dan efisiensi. Pembinaan: melatih dan Membrane Teknik formal serta proses standar kepada insinyur junior, serta membantu penyusunan dokumentasi metodologi/FAQ. Mendukung proses bring-up dan debug silikon menggunakan metode formal jikaicable. Kualifikasi yang dibutuhkan: Gelar BS/MS/PhD atau pengalaman setara dalam CS/CE/EE. 12+ tahun dalam verifikasi ASIC, dengan 8+ tahun berfokus pada metode verifikasi formal. Menguasai SystemVerilog Assertions (SVA) dan verifikasi properti formal. Mahir menggunakan minimal 1 perangkat lunak verifikasi formal populer di industri, seperti JapserGold, VC Formal, dll. Memiliki kemampuan scripting yang baik untuk otomasi alur, seperti tcl dan python. Memiliki kemampuan komunikasi tertulis dan lisan yang baik serta perhatian kuat terhadap detail. Nilai tambah yang membedakan: menunjukkan keberhasilan dalam persetujuan formal seluruh siklus untuk desain kompleks; keahlian dalam aplikasi formal, termasuk aplikasi FPV, pemeriksaan ekuivalensi sekuensial, verifikasi datapath, dll.; pemahaman mendalam mengenai arsitektur/desain GPU atau LPU. NVIDIA secara luas dianggap sebagai salah satu pemberi kerja paling desirable di dunia teknologi dan menawarkan gaji yang sangat kompetitif serta paket manfaat yang lengkap. Saat merencanakan masa depan, Anda dapat melihat apa yang dapat ditawarkan NVIDIA kepada Anda dan keluarga Anda. Gaji dasar ditentukan berdasarkan lokasi, pengalaman, dan gaji karyawan pada posisi serupa. Rentang gaji dasarnya adalah 195.000 CAD - 245.000 CAD. Anda juga berhak memperoleh ekuitas dan manfaat. Lamaran untuk posisi ini akan diterima setidaknya hingga 10 Juli 2026. Lowongan ini merupakan posisi yang sudah tersedia. NVIDIA menggunakan perangkat lunak AI dalam proses perekrutannya. Awalnya diposting di Himalayas.

Senior Formal Verification Engineer

Deskripsi Pekerjaan

Ringkasan

Lowongan Terkait Lainnya

WVTF Northern Broadcast Engineer

Sr Network Architect

Sr Network Architect

Principal Structural & Mechanical Analysis Engineer - Remote within the U.S. (#,