Underground Geotechnical Engineer supporting ground control and mine planning at Coeur Silvertip, a Canadian precious - metals mining operation. Designing support systems, analyzing monitoring data, and managing geotechnical risk for underground excavations.
About the role
- Senior Formal Verification Engineer verifying AI-related sophisticated ASIC designs at NVIDIA. Collaborating with teams to ensure correctness and developing advanced formal verification methodologies.
Responsibilities
- 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.
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
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Report this job
Found something wrong with the page? Please let us know by submitting a report below.
LP
Project Engineer / Coordinator, Water-Sewer Programming
LinkedIn Recruiter Post
The City of Regina is hiring a Project Engineer/Coordinator for Water - Sewer Programming. Ideal for those with experience in municipal infrastructure, water/wastewater, engineering, or project management.
Validation Engineer testing SSD firmware, NVMe features, and NAND memory products for DATAmundi’s localization and data - services software business. Detecting defects, optimizing validation, and coordinating with firmware engineers and clients.
Electrical Engineer - in - Training designing substation protection, control, and metering systems for Qualus, a power infrastructure transformation firm. Supporting utility projects from concept through construction and commissioning.
Project Engineer improving yield, efficiency, and raw - material utilization in Agropur’s dairy manufacturing operations. Leading process optimization and capital projects at the Granby facility.
Compiler Engineer advancing Intel’s oneAPI offloading and SYCL infrastructure for CPUs, GPUs, and accelerators. Collaborating with LLVM and Intel teams on production compiler technology.
Product Designer applying environmental engineering expertise to C - MORE’s enterprise risk and compliance data products. Designing usable workflows and interfaces for complex environmental risk intelligence.
Staff engineer managing novel vulnerability disclosure and CVE coordination for Chainguard, which secures open - source software supply chains. Leading industry collaboration on AI - driven software security standards, embargoes, and response processes.
Technical Proposal Specialist/Engineer developing medium - voltage switchgear quotes, layouts, pricing, and designs for S&C Electric’s power - grid solutions. Liaising with sales, customers, engineering, and production in hybrid Toronto role.
LP
UX/UI Front-End Engineer
LinkedIn Recruiter Post
Hiring a UX/UI Front - End Engineer for a 6 - 12 month contract in Toronto, ON. Must have React, TypeScript, and design systems experience.