{"id":"12651861-4bee-46ad-a39c-3ad794206b3d","title":"Senior Formal Verification Engineer - LPU","company":{"id":"3cbdf887-6082-4633-b774-3f7d7b9d1841","name":"Nvidia","website":"https://jobs.nvidia.com","url":"https://yesjob.brogu.ca/companies/3cbdf887-6082-4633-b774-3f7d7b9d1841"},"url":"https://yesjob.brogu.ca/jobs/12651861-4bee-46ad-a39c-3ad794206b3d","apply_url":"https://jobs.nvidia.com/careers/job/893393316333","status":"open","location":"Remote - Canada","locations":[{"city":null,"region":null,"country":"CA"}],"workplace":"remote","remote_eligible_countries":["CA"],"employment_types":[],"work_auth_required":"unspecified","term":null,"salary_cad_per_year":{"max":245000,"min":195000},"languages_required":[],"seniority":"senior","first_seen_at":"2026-11-06T05:34:38.984Z","last_seen_at":"2026-11-11T02:36:28.018Z","salary_text":null,"summary":"- Remote role in Canada for a senior formal verification engineer working on AI-related ASIC designs.\n- Requires 12+ years of ASIC verification with 8+ years in formal verification, plus SystemVerilog Assertions and a formal tool such as JasperGold or VC Formal.\n- Base salary is 195,000 to 245,000 CAD, plus equity and benefits.\n- The posting says applications are accepted until November 3, 2026, which has passed as of today (2026-11-09), so the posting may be closed.","sources":["https://jobs.nvidia.com/careers/job/893393316333"]}