{"id":"6c10277a-6392-4e10-bad9-1c04aca7e00f","title":"Senior Formal Verification Engineer - LPU","company":{"id":"6e57353a-caca-4f7d-823f-7fc957961a17","name":"NVIDIA USA","website":null,"url":"https://yesjob-web.pages.dev/companies/6e57353a-caca-4f7d-823f-7fc957961a17"},"url":"https://yesjob-web.pages.dev/jobs/6c10277a-6392-4e10-bad9-1c04aca7e00f","apply_url":"https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Canada-Remote/Senior-Formal-Verification-Engineer_JR2012546","status":"open","location":"Canada, Remote","locations":[{"city":null,"region":null,"country":"CA"}],"workplace":"remote","remote_eligible_countries":["CA"],"employment_types":["full_time"],"work_auth_required":"unspecified","term":null,"salary_cad_per_year":{"max":245000,"min":195000},"languages_required":[],"seniority":"senior","first_seen_at":"2026-10-31T01:04:20.425Z","last_seen_at":"2026-11-10T11:57:03.949Z","salary_text":null,"summary":"- Senior ASIC formal verification role (AI/LPU designs) at NVIDIA, listed as remote within Canada.\n- Requires 12+ years in ASIC verification, including 8+ years focused on formal methods, plus SVA and a formal tool such as JasperGold or VC Formal.\n- Education: BS/MS/PhD or equivalent experience in CS/CE/EE.\n- Base salary stated as 195,000–245,000 CAD; work authorization requirements are not stated.","sources":["https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Canada-Remote/Senior-Formal-Verification-Engineer_JR2012546"]}